Changes between Version 7 and Version 8 of RelatedWork


Ignore:
Timestamp:
Apr 19, 2011, 3:47:57 PM (8 years ago)
Author:
campbell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RelatedWork

    v7 v8  
    44 * [http://www.cs.utexas.edu/~moore/best-ideas/piton/index.html A short description] from J Strother Moore's web pages.
    55 * 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  * J Strother Moore: [http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.604 A mechanically verified language implementation], 1989.
     6 * 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]