Ignore:
Timestamp:
Mar 15, 2012, 4:56:26 PM (8 years ago)
Author:
mulligan
Message:

Changes to presentation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/Presentations/WP4-dominic.tex

    r1861 r1862  
    442442In particular, used in the proof that static and dynamic cost computations coincide
    443443\item
    444 Traces preserved by backend compilation, initially created at RTL
     444Traces preserved by backend compilation, initially created at RTLabs
    445445\item
    446446This will be explained later
Note: See TracChangeset for help on using the changeset viewer.