Changes between Version 8 and Version 9 of RelatedWork
- Timestamp:
- May 9, 2011, 5:52:51 PM (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
RelatedWork
v8 v9 1 1 = 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. 2 6 3 7 == Piton == … … 5 9 * 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] 6 10 * 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.