The Compiler

We now present a compiler for MiniLAX.

This section is organized as follows: Overall Structure Abstract Syntax Concrete Syntax Translating Procedures Translating Statements Translating Expressions Translating Designators Scope Handling Auxiliary Predicates Target Interface

This section contains the complete Gentle specification for MiniLAX.

• Overall Structure
  
• Abstract Syntax
  
• Concrete Syntax
  
• Translating Procedures
  
• Translating Statements
  
• Translating Expressions
  
• Translating Designators
  
• Scope Handling
  
• Auxiliary Predicates
  
• Target Interface