Changeset 505


Ignore:
Timestamp:
Feb 14, 2011, 11:14:49 AM (6 years ago)
Author:
mulligan
Message:

finished sentence

File:
1 edited

Legend:

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

    r504 r505  
    6969This rapidly growing field is motivated by one simple question: `to what extent can you trust your compiler?'
    7070Existing verification efforts have broadly focussed on \emph{semantic correctness}, that is, creating a compiler that is guaranteed to preserve the semantics of a program during the compilation process.
    71 However, there is another important facet of correctness that has not garnered much attention, that is, correctness with respect
     71However, there is another important facet of correctness that has not garnered much attention, that is, correctness with respect to some intensional properties of the program to be compiled.
    7272
    7373\subsection{The 8051/8052}
Note: See TracChangeset for help on using the changeset viewer.