previous         next         contents         

1. Introduction

   1.1 Acceptable languages

   1.2 Runtime support

   1.3 System flow

2. An example: nanoPascal

   2.1. The language

   2.2. The Parser

   2.3. Translation

3. The Ml4 language

   3.1. Structure of Ml4

   3.2. Lexical elements

   3.2.1 Identifiers

   3.2.2 Literal terminals

   3.3. Base EBNF

   3.4. Types

   3.4.1 Primitive types

   3.4.2 Structured types

   3.5. Productions and modules

   3.6. Source elements

   3.6.1 Class terminals

   3.6.2 Nonterminals

   3.6.3 Skipping

   3.6.4 Procedure calls

   3.6.5 Assignments

   3.7. Expressions

   3.7.1 Operators

   3.7.2 Intrinsic procedures

   3.7.3 Predeclared variables and constants

   3.8. Target elements

   3.8.1 Targets

   3.8.2 Literals

   3.8.3 Expressions

   3.8.4 Source copy

   3.8.5 Generic target elements

   3.9. Controls

   3.9.1 Control by source

   3.9.2 Control by value

   3.10. Parse control

   3.10.1 Conditions

   3.10.2 Avoidance of backtracking

   3.11. Declarations

   3.11.1 Local variables

   3.11.2 Global variables

   3.12. Local substitution

   3.13. Additional features

   3.13.1 Symbolic value generation

   3.13.2 Parameter

   3.14. Static environment

   3.14.1 Imports

   3.14.2 Type definitions

   3.14.3 Variable declarations

   3.15. Comment format definition

4. Standard library

   4.1. Dp4OP

   4.2. Dp4Messages

   4.3. Dp4List

   4.4. Dp4Util

   4.4. Dp4Tools

5. Runtime support

   5.1. Overview

   5.2. User Interface

   5.2.1 Default development environment

   5.2.2 Direct use

   5.3. Input/output

   5.3.1 Source input

   5.3.2 Target output

   Appendix A: Ml4-Syntax

   Appendix B: Error messages

   Appendix C: Solutions for frequent problems

   Appendix D: Implementation specific issues

    previous         next         contents