Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Lisp

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


Mega Sale! Save 22% on the VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 by Springer at EMS Linux. MPN: biography. Hurry! Limited time offer. Offer valid only while supplies last. The VLISP project showed how to produce a comprehensively verified implemen­ tation for a programming language, namely Scheme [4, 15). Some of the


Product Description

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 verification was intended to be rigorous, but. not. complet.ely formal, much in the style of ordinary mathematical discourse. Our goal was to verify the algorithms and data types used in the implementat.ion, not their embodiment. in code. See Section 2 for a more complete discussion ofthese issues. Our decision to be faithful to the published semantic specification led to the most difficult portions ofthe proofs; these are discussed in [13, Section 2.3-2.4). • Our implementation was based on the Scheme48 implementation of Kelsey and Rees [17). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine. The virtual machine is written in a subset of Scheme called PreScheme. The implementationissufficient.ly complete and efficient to allow it to bootstrap itself. We believe that this is the first. verified language implementation with these properties.

Additional Information

Manufacturer:Springer
Part Number:biography
Publisher:Springer
Studio:Springer
MPN:biography
EAN:9781461359913
Item Weight:0 pounds
Item Size:0.44 x 9.45 x 9.45 inches
Package Weight:0.7 pounds
Package Size:6.3 x 0.44 x 0.44 inches

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

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

Brand: Springer
4.7 out of 5 stars with 9 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$185.00
$144.88
You Save: 22%


Quantity:  

 


View More In Lisp.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9783319359830, isbn: 3319359835,
This book makes use of the LISP programming language to provide readers with the necessary background to understand and use fuzzy logic to solve simple to medium-complexity real-world problems. It introduces the basics of LISP required to use a Fuzzy...

By

Practical Clojure by Luke Vanderhart. Apress,2010...

ean: 9781882114733, isbn: 1882114736,
This is a high-quality, hardbound edition of the official GNU Emacs Lisp Reference Manual, from the current Emacs Version 24.5 distribution. It is printed on acid free and lignin free paper, that meets all ANSI standards for archival quality paper. *...

ean: 9780137172320, isbn: 013717232X,
Understanding CLOS: The Common Lisp Object System...

ean: 9780201416534, isbn: 0201416530,

mpn: 108 black & white illustrations, 1 colou, ean: 9783319231853, isbn: 3319231855,
This book makes use of the LISP programming language to provide readers with the necessary background to understand and use fuzzy logic to solve simple to medium-complexity real-world problems. It introduces the basics of LISP required to use a Fuzzy...

mpn: black & white illustrations, ean: 9789401055499, isbn: 9401055491,
One service mathematics has rendered the tEL moi, .... si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'disc...

ean: 9780471509165, isbn: 0471509167,
Written for the professional statistician or graduate statistics student, the primary objective of this book is to describe a system, based on the LISP language, for statistical computing and dynamic graphics to show how it can be used as an effectiv...

ean: 9780898382204, isbn: 0898382203,
This book had its genesis in the following piece of computer mail: From allegra!joan-b Tue Dec 18 09:15:54 1984 To: sola!hjb Subject: lispm Hank, I've been talking with Mark Plotnik and Bill Gale about asking you to conduct a basic course on using th...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.