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.
Read More
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.
Read Less
Add this copy of Vlisp a Verified Implementation of Scheme: A Special to cart. $159.69, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer.
All Editions of Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995
