Mitchell Wand – författare
Visar alla böcker från författaren Mitchell Wand. Handla med fri frakt och snabb leverans.
4 produkter
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Av Joshua D. Guttman, Mitchell Wand
Inbunden, 1995
1693 kr
Lägg i varukorg
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 …
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Av Joshua D. Guttman, Mitchell Wand
Häftad, 2012
1693 kr
Lägg i varukorg
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 …
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Av Mitchell Wand, Joshua D. Guttman
E-bok, 2012
2127 kr
Lägg i varukorg
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 …
Essentials of Programming Languages
Av Daniel P. Friedman, Mitchell Wand
Inbunden, 2008
962 kr
Tillfälligt slut
