Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR544:
Formal Derivation of a Scheme Computer

Steven D. Johnson
(Sep 2000), 18 pages 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: