Tallenna
VLISP A Verified Implementation of Scheme
nidottu, 2012
englanti
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine.
- Alaotsikko
- A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
- Toimittaja
- Joshua D. Guttman, Mitchell Wand
- Painos
- Softcover reprint of the original 1st ed. 1995
- ISBN
- 9781461359913
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.11.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 184
