next up previous contents
Next: Characterisation of Malaga Up: Malaga 4.3 Previous: The Option ``variables''   Contents

Definition of the Programming Language Malaga



Subsections

Bjoern Beutel