[PDF.88nd] 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.gz25] 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

 | #6936963 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 can specify the type of files you want, for your device.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. I really enjoyed this book and have already told so many people about it!

Read Online Now