Ignore:
Timestamp:
May 16, 2011, 5:35:19 PM (8 years ago)
Author:
mulligan
Message:

small typo fixed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r810 r811  
    143143A compiler could reject a source program targetting an embedded system when the size of the compiled code exceeds the available ROM size.
    144144Preservation of a program's semantics may only be required for those programs that do not exhaust the stack or heap.
    145 The statement of completeness of the compiler must therefore take in to account a realistic cost model.
     145The statement of completeness of the compiler must therefore take into account a realistic cost model.
    146146
    147147With the CerCo methodology, we assume we can assign to object code exact and realistic costs for sequential blocks of instructions.
Note: See TracChangeset for help on using the changeset viewer.