Changeset 3228


Ignore:
Timestamp:
Apr 30, 2013, 3:22:14 PM (4 years ago)
Author:
campbell
Message:

Add a more formal note to the abstract in 3.4.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.4/Report/report.tex

    r3227 r3228  
    9898\newpage
    9999
    100 \vspace*{7cm}
     100\section*{Executive Summary}
     101\addcontentsline{toc}{section}{Executive Summary}
     102
     103
     104\cerco{} Work Package 3, \emph{Verified Compiler - front end} aims
     105for formalise and verify the front-end of the \cerco{} cost lifting
     106compiler.  This document accompanies the final deliverable,
     107\textbf{D3.4: Front-end Correctness Proofs}.  The deliverable consists
     108of the formal correctness proofs for the front-end, written in the
     109\matita{} proof assistant and this document provides report on the
     110work carried out for it.
     111
     112\vspace*{1cm}
     113
    101114\paragraph{Abstract}
     115
    102116We report on the correctness proofs for the front-end of the \cerco{}
    103117cost lifting compiler.  First, we identify the core result we wish to
Note: See TracChangeset for help on using the changeset viewer.