A COMPILER FOR LISPKIT TARGETTED ATHENDERSON'S SECD MACHINE

Simple item page
dc.contributor.authorSimpson, T.eng
dc.contributor.authorBirtwistle, G.eng
dc.contributor.authorHermann, M.eng
dc.contributor.authorGraham, B.eng
dc.date.accessioned2008-05-26T20:32:49Z
dc.date.available2008-05-26T20:32:49Z
dc.date.computerscience1999-05-27eng
dc.date.issued1989-01-01eng
dc.description.abstractLong 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.eng
dc.description.notesWe 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 digitize@ucalgary.caeng
dc.identifier.department1989-339-01eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30368
dc.identifier.urihttp://hdl.handle.net/1880/46592
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleA COMPILER FOR LISPKIT TARGETTED ATHENDERSON'S SECD MACHINEeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1989-339-01.pdf
Size:
2.94 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download
Collections
Science Research & Publications