Formal Derivation of a Scheme Computer
Loading...
Other Version
External File or Record
Can’t use the file because of accessibility barriers? Contact us
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Permanent Link
Abstract
This report describes a proposed project involving the formal derivation and system-level verification of a computer for executing compiled Scheme.
Series and Number:
Indiana University Computer Science Technical Reports; TR544
EducationalLevel:
Is Based On:
Target Name:
Teaches:
Table of Contents
Description
Keywords
Citation
Journal
DOI
Rights
This work is protected by copyright unless stated otherwise.