My Wish Lists Login / Join

VLISP : A Verified Implementation of Scheme

A Verified Implementation of Scheme

By: Joshua D. Guttman (Editor), Mitchell Wand (Editor)

Write A Review

Hardcover | 1 December 2009

At a Glance

Hardcover
192 Pages

Dimensions(cm)
25.4 x 17.15 x 1.27

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Functional Programming Software Engineering Programming & Scripting Languages Engineering & Technology Energy Technology & Engineering Electrical Engineering Computer Science Artificial Intelligence Compilers & Interpreters

Preface	p. 3
VLISP: A Verified Implementation of Scheme	p. 5
The VLISP Verified Scheme System	p. 33
The VLISP Verified PreScheme Compiler	p. 111
Table of Contents provided by Blackwell. All Rights Reserved.

VLISP : A Verified Implementation of Scheme

A Verified Implementation of Scheme

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Co-Intelligence

Living and Working with AI

The Role of AI in Assessment

Revolutionizing Education

Computational Experiments: Verification and Valida tion of Foundation Intelligence for Intelligent Sy stems

A Bridge between Artificial Intelligence and Social Sciences

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

AIâ"Generated Image and Video Synthesis

Deep Learning Models, Applications, and Ethical Implications in Visual Media Creation

AI Powered Digital Twins

A Guide for Humans, Engineers, and Enterprises

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

AI and Data Science in Medical Research

New Developments and Advances

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Sutskever''s List

Foundational Ideas of Modern AI

Artificially Yours

Real Friendship in a World of Chatbots

AI for Public Relations

A How-To Guide for Implementation and Management

Digital Twin Pose Detection for Mechanical Equipment

Theory and Methods for Intelligent Multi-Source Pose Deduction and Reconstruction of Fully-Mechanized Mining Equipment Clusters

Mathematics of Uncertainty Applied to Global Issues

Sustainability, Mistreatment of Women, Nuclear Power, Smart Cities, Digitalization

Your Third Brain

Powering a Future of Unimagined Possibilities

Life 3.0

Being Human in the Age of Artificial Intelligence

Claude For Dummies

This product is categorised by