Changes between Version 28 and Version 29 of WikiStart


Ignore:
Timestamp:
Jun 27, 2011, 12:05:52 PM (8 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v28 v29  
    1717Publications that fall under the aegis of the !CerCo project:
    1818
    19   * On the correctness of an assembler for the MCS-51 microprocessor. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to CPP 2011.  Matita formalisation here.
     19  * On the correctness of an assembler for the MCS-51 microprocessor. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to CPP 2011.  Matita formalisation [wiki:AssemblerFormalisation here].
    2020  * Semantics for simple type theory in nominal sets.  Murdoch J. Gabbay and Dominic P. Mulligan.  Submitted to LFMTP 2011.
    2121  * An executable formalisation of the MCS-51 microprocessor in Matita. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to FMCAD 2011.