Changeset 1374 for Deliverables/D4.2-4.3


Ignore:
Timestamp:
Oct 14, 2011, 3:51:52 PM (9 years ago)
Author:
mulligan
Message:

added note about cfgs

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D4.2-4.3/reports/D4-2.tex

    r1373 r1374  
    144144The Matita compiler's backend consists of five distinct intermediate languages: RTL, RTLntl, ERTL, LTL and LIN.
    145145A 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.
     146RTL, RTLntl, ERTL and LTL are `control flow graph based' languages, whereas LIN is a linearised language, the final language before translation to assembly.
    147147
    148148We 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.