[PDF.84tq] VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

[PDF.fg71] VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

VLISP A Verified Implementation From Brand: Springer epub
VLISP A Verified Implementation From Brand: Springer pdf download
VLISP A Verified Implementation From Brand: Springer pdf file
VLISP A Verified Implementation From Brand: Springer audiobook
VLISP A Verified Implementation From Brand: Springer book review
VLISP A Verified Implementation From Brand: Springer summary

 | #7596721 in Books |  Springer |  1995-05-31 | Format: International Edition | Original language:English | PDF # 1 |  10.00 x.50 x7.01l,1.22 | File type: PDF | 184 pages

 | 

---

|

The VLISP project showed how to produce a comprehensively verified implemen­ tation for a programming language, namely Scheme [4, 15). Some of the major elements in this verification were: • The proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se­ mantic specification as published. The ver...

You easily download any file type for your gadget.VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995   |  From Brand: Springer. A good, fresh read, highly recommended.

Download Now