Changes between Version 8 and Version 9 of RelatedWork


Ignore:
Timestamp:
May 9, 2011, 5:52:51 PM (6 years ago)
Author:
campbell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RelatedWork

    v8 v9  
    11= Related work =
     2
     3== !CompCert ==
     4 * [http://compcert.inria.fr/]
     5 * [http://www.cl.cam.ac.uk/~pes20/CompCertTSO/doc/ CompCertTSO], a version of !CompCert for multithreaded execution with a weak memory model by Peter Sewell's group.
    26
    37== Piton ==
     
    59 * J Strother Moore: [http://portal.acm.org/citation.cfm?id=235239 Piton, a mechanically verified assembly-level language], 1996.  [http://dx.doi.org/10.1007/978-0-585-33654-1 DOI:10.1007/978-0-585-33654-1]
    610 * J Strother Moore: [http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.604 A mechanically verified language implementation], 1989. [http://dx.doi.org/10.1007/BF00243133 DOI:10.1007/BF00243133]
     11 * [http://www.computationallogic.com/reports/index.html Computational Logic's technical reports], in particular !#22 and !#30 on Piton (the latter appears to be the tech report version of the 1989 paper) and !#37 on a Gypsy to Piton code generator.