A COMPILER FOR LISPKIT TARGETTED ATHENDERSON'S SECD MACHINE
Date
1989-01-01
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Long term research plans at Calgary are focussed on system verification. We
have been working on hardware verification for some time, and this work
will culminate in the verification of an SECD chip in 1989. The chip has
been fabricated. We describe a compiler and its associated workbench,
written in Franz Lisp, which takes Lispkit source code for Henderson's
SECD machine. The compiler has been in operation for two years and has been
well tested but not verified.
Description
Keywords
Computer Science