Gå direkte til innholdet
VLISP A Verified Implementation of Scheme
Spar

VLISP A Verified Implementation of Scheme

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
Opplag
Softcover reprint of the original 1st ed. 1995
ISBN
9781461359913
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.11.2012
Antall sider
184