Spar
VLISP A Verified Implementation of Scheme
heftet, 2012
Engelsk
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.
- Undertittel
- A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
- Redaktør
- Joshua D. Guttman, Mitchell Wand
- Opplag
- Softcover reprint of the original 1st ed. 1995
- ISBN
- 9781461359913
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.11.2012
- Antall sider
- 184
