Technical Report TR544:
Formal Derivation of a Scheme Computer
Steven D. Johnson
(Sep 2000), 18 pages pages
[First posted electronically in Mar. 1997 at http://www.cs.indiana.edu/hmg/schemachine.ps.Z]
- Abstract:
-
This report describes a proposed project involving the formal derivation and system-level verification of a computer for executing compiled Scheme.
- Available as:
-
