Vlisp A Verified Implementation of Scheme

Name: Vlisp A Verified Implementation of Scheme
Price: 169.17 USD
Availability: InStock
ISBN: 9780792395669

ISBN-10: 0792395662

ISBN-13: 9780792395669

Edition: 1995

Authors: Joshua D. Guttman, Mitchell Wand

List price: $169.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $169.17

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company's Technology Program. The work was supervised by the Rome Laboratory of the U.S. Air Force. Northeastern University became involved a year later. The aim was to show realism and comprehensiveness. Realism is revealed in the choice of a widely used programming language, Scheme, and the choice of a flexible and reasonably efficient implementation strategy. Comprehensiveness is revealed in the broad range of steps undertaken in verification, leading from the abstract syntax of a high level programming language, equipped with a…

Book details

List price: $169.99
Copyright year: 1995
Publisher: Springer
Publication date: 5/31/1995
Binding: Hardcover
Pages: 184
Size: 6.10" wide x 9.25" long x 0.50" tall
Weight: 2.684
Language: English

Daniel P. Friedman is Professor of Computer Science at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer (fourth edition, 1995), The Seasoned Schemer (1995), A Little Java, A Few Patterns (1997), each of these coauthored with Matthias Felleisen, and The Reasoned Schemer (2005), coauthored with William E. Byrd and Oleg Kiselyov.Mitchell Wand is Professor of Computer Science at Northeastern University.



Preface



VLISP: A Verified Implementation of Scheme



The VLISP Verified Scheme System



The VLISP Verified PreScheme Compiler