Gå direkt till innehållet
VLISP A Verified Implementation of Scheme
Spara

VLISP A Verified Implementation of Scheme

Engelska
Lägsta pris på PriceRunner
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.
Undertitel
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Upplaga
Softcover reprint of the original 1st ed. 1995
ISBN
9781461359913
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-11-21
Sidor
184