Changes between Version 48 and Version 49 of WikiStart


Ignore:
Timestamp:
May 14, 2013, 6:47:31 PM (4 years ago)
Author:
sacerdot
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v48 v49  
    7171  * An executable formalisation of the MCS-51 microprocessor in Matita. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to FMCAD 2011.
    7272  * [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).
     73  * A Canonical Locally Named Representation of Binding, R. Pollack, M. Sato and W. Ricciotti, Journal of Automated Reasoning,
     74  * Certifying and reasoning on cost annotations of functional programs, R.M. Amadio, Y. Regis‐Gianas, In proceedings of Foundations and Practical Aspects of Resource Analysis (FOPARA 2011), LNCS, 71277:72‐89,
    7375
    7476=== Learn More ===