Programming Research Group  -  University of Amsterdam  -  TR P9803 


             Annotated Algebraic Specification of the
      Syntax and Semantics of the Programming Language Alma-0


                         Jacob Brunekreef
                        


The syntax and  semantics of the  programming  language  Alma-0 have
been specified in the ASF+SDF  formalism.  This report  contains the
interesting parts of the specification,  embedded in text explaining
its structure,  various technical  details and the choices that have
been made during the specification process.

The  report  also  contains  a short  introduction  to the  language
Alma-0, including some examples of meaningful Alma-0 programs.