Changeset 1374 for Deliverables/D4.2-4.3
- Timestamp:
- Oct 14, 2011, 3:51:52 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.2-4.3/reports/D4-2.tex
r1373 r1374 144 144 The Matita compiler's backend consists of five distinct intermediate languages: RTL, RTLntl, ERTL, LTL and LIN. 145 145 A fifth language, RTLabs, serves as the entry point of the backend and the exit point of the frontend. 146 RTL, RTLntl, ERTL and LTL are ` graph based' languages, whereas LIN is a linearised language, the final language before translation to assembly.146 RTL, RTLntl, ERTL and LTL are `control flow graph based' languages, whereas LIN is a linearised language, the final language before translation to assembly. 147 147 148 148 We now briefly discuss the properties of the intermediate languages, and discuss the various transformations that take place during the translation process:
Note: See TracChangeset
for help on using the changeset viewer.