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 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: