Changeset 384


Ignore:
Timestamp:
Dec 7, 2010, 4:22:58 PM (9 years ago)
Author:
mulligan
Message:

Fixed problem in Abstract.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Report/report.tex

    r383 r384  
    9898We discuss the implementation of a prototype O'Caml emulator for the Intel 8051/8052 eight bit processor, and its subsequent formalisation in the dependently typed proof assistant Matita.
    9999In particular, we focus on the decisions made during the design of both emulators, and how the design of the O'Caml emulator had to be modified in order to fit into the more stringent type system of Matita.
    100 
    101 We also briefly summarise the Intel 8051/8052 processor architecture, our target processor model for the \textsf{CerCo} project.
    102100\newpage
    103101
Note: See TracChangeset for help on using the changeset viewer.