# Changeset 576 for Deliverables/D4.1

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

Alphabetised cites that are given together.

File:
1 edited

### Legend:

Unmodified
 r575 To what extent can you trust your compiler in preserving those properties? \end{itemize*} 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). These 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). So far, the field has only been focused on the first and last questions. Much attention has been placed on verifying compiler correctness with respect to extensional properties of programs.