Changeset 3248


Ignore:
Timestamp:
May 1, 2013, 1:40:42 AM (4 years ago)
Author:
sacerdot
Message:

Typos fixed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.4/report.tex

    r3222 r3248  
    128128The aim of WP4 is is to build the trusted version of the compiler back-end,
    129129from the intermediate \textsf{RTLabs} language down to assembly. The development
    130 is made in \textsf{matita}, and it allows the trsuted compiler to be extracted
     130is made in \textsf{matita}, and it allows the trusted compiler to be extracted
    131131to \textsf{OCaml}.
    132132
     
    143143starts to be able to meddle with return addresses that live in memory, the call structure
    144144is no more guaranteed to be preserved after the high-level, structured
    145 languages. This is has little meaning as far as pure extensional semantic
     145languages. This has little meaning as far as pure extensional semantic
    146146preservation is required---after all, if the source language meddles with the
    147147call structure there is no problem as long as the target language will follow.
Note: See TracChangeset for help on using the changeset viewer.