Changeset 629 for Deliverables/D1.1


Ignore:
Timestamp:
Mar 3, 2011, 4:50:54 PM (9 years ago)
Author:
mulligan
Message:

Fixed some slides: added description of WP4.1

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP4-dominic-presentation.tex

    r628 r629  
    1515
    1616\author{Dominic P. Mulligan and Claudio Sacerdoti Coen}
    17 \title{CerCo Work Package 4}
     17\title{CerCo Work Package 4.1}
    1818\date{March 11, 2011}
    1919
     
    4141
    4242\begin{frame}
    43 \frametitle{Work Package 4}
     43\frametitle{Work Package 4.1}
     44Work Package 4.1 entitled `Executable Formal Semantics of Machine Code', described as follows (from Grant Agreement):
     45\begin{quote}
     46Formal definition of the semantics of the target language. The semantics will be given in a functional (and hence executable) form, useful for testing, validation and project assessment.
     47\end{quote}
    4448\end{frame}
    4549
Note: See TracChangeset for help on using the changeset viewer.