Intermediate Representation

Tiger in Stratego -- Compilation by Program Transformation

IntermediateRepresentation is an abstract machine language that abstracts from the details of both source and target languages.

The definition of the IntermediateRepresentation used in the TigerCompiler, as well as components translating from TigerAbstractSyntax and to assembly code, are provided in the IR package.

Statements and Expressions

Module IR defines the signature of intermediate representation expressions and statements.

Moved Permanently

The document has moved here.

Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL^?/0.9.8g mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80

Operators

Module Operators provides the definition of operators.

Moved Permanently

The document has moved here.

Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL^?/0.9.8g mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80

Procedure Fragments

Module Proc defines the structure of the PROC fragment constructor. This constructor is not only used in the intermediate format, but also in the abstract assembly language ASM produced by InstructionSelection. The PROC fragments contain information about stack frame layout that is used during register allocation. For this reason the module is provided in the ASM package.

Moved Permanently

The document has moved here.

Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL^?/0.9.8g mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80

Concrete Syntax

Moved Permanently

The document has moved here.

Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL^?/0.9.8g mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80

CompilerComponent