Contents

• Contents
• Introduction
• Lexical Considerations
  • Regular Expressions
  • Reserved words
  • Operators
    • Logical Operators
    • Relational Operators
    • Assignment Operators
    • Arithmetic Operators
    • Other Operators
    • Precedence
• The Grammar
  • Program
  • Type System
  • Declarations
  • Statements
  • Iterators
  • Expressions
    • Function Calls
    • Sequences
    • Sets
    • Tuples
• Proteus to DTRE3 Transformations
  • Expressions
  • Declarations
  • Types
  • Statements
• Notes on Multiple Iterators
• Notes on Allowing Arbitrary Patterns in Generators
• About this document ...