Formal Derivation of a Scheme Computer

Simple item page
dc.contributor.authorJohnson, Steven
dc.date.accessioned2025-11-11T23:43:18Z
dc.date.available2025-11-11T23:43:18Z
dc.date.issued2000-09
dc.description.abstractThis report describes a proposed project involving the formal derivation and system-level verification of a computer for executing compiled Scheme.
dc.identifier.urihttps://hdl.handle.net/2022/34386
dc.relation.ispartofseriesIndiana University Computer Science Technical Reports; TR544
dc.rightsThis work is protected by copyright unless stated otherwise.
dc.rights.uri
dc.titleFormal Derivation of a Scheme Computer

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR544.pdf
Size:
439.16 KB
Format:
Adobe Portable Document Format
Download

Collections

Technical Reports
Can’t use the file because of accessibility barriers? Contact us