IRFormat
Tiger in Stratego -- Compilation by Program Transformation
The IR-Format component of the TigerCompiler in the TigerTrans package checks the well-formedness of IntermediateRepresentation trees. It is a useful debugging tool for checking the output of the TAS2IR component.
IR-Format.r
The specification of the FormatChecker below uses RecursivePattern to describe the shape of IR 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