# Changeset 504 for Deliverables/D4.1/ITP-Paper

Ignore:
Timestamp:
Feb 14, 2011, 11:14:12 AM (10 years ago)
Message:

work on intro committed following claudio's second e-mail

File:
1 edited

### Legend:

Unmodified
 r501 \usepackage[utf8x]{inputenc} \usepackage{listings} \usepackage{microtype} \usepackage{stmaryrd} \usepackage{url} \label{sect.introduction} Compiler verification, as of late, is a hot topic' in computer science research. Compiler verification, as of late, is as of late a hot topic'. This rapidly growing field is motivated by one simple question: `to what extent can you trust your compiler?' Existing 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. However, there is another important facet of correctness that has not garnered much attention, that is, correctness with respect \subsection{The 8051/8052}