Indiana University Bloomington

School of Informatics and Computing

Technical Report TR544:
Formal Derivation of a Scheme Computer

Steven D. Johnson
(Sep 2000), 18 pages
[First posted electronically in Mar. 1997 at]
This report describes a proposed project involving the formal derivation and system-level verification of a computer for executing compiled Scheme.

Available as: