Changes between Version 24 and Version 25 of WikiStart


Ignore:
Timestamp:
Jun 22, 2011, 5:30:50 PM (8 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v24 v25  
    1515=== Publications ===
    1616
    17   * On the correctness of an assembler for the MCS-51 microprocessor. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to CPP 2011.  Matita formalisation can be found here.
     17  * 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.
    1818  * An executable formalisation of the MCS-51 microprocessor in Matita. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to FMCAD 2011.
    1919  * [http://hal.archives-ouvertes.fr/hal-00524715/fr/ Certifying cost annotations in compilers].  Roberto M. Amadio, Nicolas Ayache, Yann Régis-Gianas and Ronan Saillard.  Technical Report, Université Paris Diderot (Paris 7).