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.
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at email@example.com