BibTeX
@MISC{Saaltink94verdicompiler:,
author = {Mark Saaltink and Irwin Meisels},
title = {Verdi Compiler: Final Report},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Syntax : : : : : : : : : : : : : : : : : : : : : : 4 2.2 Definition of the Intermediate Language : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.3 Determine the Mapping from the Abstract Syntax to IL : : : : : : : : : : : : : : : : 4 2.4 Prove the Correctness of the Mapping from Abstract Syntax to IL : : : : : : : : : : 4 2.5 Implementation of the Well-formedness Checking Passes : : : : : : : : : : : : : : : : 5 2.6 Implementation of the IL Generator Pass : : : : : : : : : : : : : : : : : : : : : : : : 5 2.7 Implementation of the Code Generator Pass : : : : : : : : : : : : : : : : : : : : : : : 5 3 Problems Encountered 7 3.1 Mapping Concrete Syntax to Abstract Syntax : : : : : : : : : : : : : : : : : : : : : : 7 3.2 Definition of the Intermediate Language : : : : : : : : : : : : : : : : : : : : : : : : : 8 3.3 Determine the Mapping from the Abstract Syntax to IL : : : : : : : : : : : : : : : : 9 3.3.1 Conditional Expressions : : : : : : : : : : : : : : : : : : : : : : : : : : :...
