Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46592
Title: A COMPILER FOR LISPKIT TARGETTED ATHENDERSON'S SECD MACHINE
Authors: Simpson, T.
Birtwistle, G.
Hermann, M.
Graham, B.
Keywords: Computer Science
Issue Date: 1-Jan-1989
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.
URI: http://hdl.handle.net/1880/46592
Appears in Collections:Birtwistle, Graham

Files in This Item:
File Description SizeFormat 
1989-339-01.pdf3.01 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.