Changeset 576


Ignore:
Timestamp:
Feb 18, 2011, 1:43:37 PM (6 years ago)
Author:
mulligan
Message:

Alphabetised cites that are given together.

File:
1 edited

Legend:

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

    r575 r576  
    100100To what extent can you trust your compiler in preserving those properties?
    101101\end{itemize*}
    102 These questions, and others like them, motivate a current `hot topic' in computer science research: \emph{compiler verification} (for instance~\cite{leroy:formal:2009,chlipala:verified:2010}, and many others).
     102These questions, and others like them, motivate a current `hot topic' in computer science research: \emph{compiler verification} (for instance~\cite{chlipala:verified:2010,leroy:formal:2009}, and many others).
    103103So far, the field has only been focused on the first and last questions.
    104104Much attention has been placed on verifying compiler correctness with respect to extensional properties of programs.
Note: See TracChangeset for help on using the changeset viewer.