The Source Language

The programming language MiniLAX (Mini LAnguage eXample) is a Pascal relative. To be more specific, it is a subset of the example language LAX [14], which is used to illustrate problems in compiler construction. MiniLAX contains a carefully selected set of language concepts:

• types

• type coercion

• overloaded operators

• arrays

• procedures

• reference and value parameters

• nested scopes

Concepts with a low didactical value and concepts that would make the language unnecessary complex have been left out, along with ``syntactic sugar''.

• Summary of the Language
  
• Notation, Terminology, and Vocabulary
  
• Data Types
  
• Declarations and Denotations of Variables
  
• Expressions
  
• Statements
  
• Input and Output
  
• Programs