Changeset 504


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

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

File:
1 edited

Legend:

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

    r501 r504  
    99\usepackage[utf8x]{inputenc}
    1010\usepackage{listings}
     11\usepackage{microtype}
    1112\usepackage{stmaryrd}
    1213\usepackage{url}
     
    6566\label{sect.introduction}
    6667
    67 Compiler verification, as of late, is a `hot topic' in computer science research.
     68Compiler verification, as of late, is as of late a `hot topic'.
    6869This rapidly growing field is motivated by one simple question: `to what extent can you trust your compiler?'
     70Existing 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.
     71However, there is another important facet of correctness that has not garnered much attention, that is, correctness with respect
    6972
    7073\subsection{The 8051/8052}
Note: See TracChangeset for help on using the changeset viewer.