Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

VLISP A Verified Implementation of Scheme

VLISP A Verified Implementation of Scheme

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792395669
Condition
New
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.

Available Colors
Available Sizes
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Caribbean Achievement in Britain

$39.99

Speech and Situation

$39.99

Hybride Events

$59.99

Biology of Fresh Waters

$54.99

The China Tax Guide

$39.99

Understanding Lifestyle Migration

$39.99

The Kolsky-Hopkinson Bar Machine

$84.99

Nepal Earthquake of 2015

$139.99

Free and Open Source Software (FOSS) and other Alternative License Models

$129.00

Die Naturwissenschaften

$59.99

Pankreaschirurgie

$59.99

Acoustical Imaging

$39.99

Creative Marketing

$109.99

Anders leben - anders sterben

$29.95

Formeln und Aufgaben zur Technischen Mechanik 3

$24.99

Information Systems Security

$39.99

Pediatric Dialysis

$39.99

Funktionelle Anatomie

$49.99

Grundlagen der Volkswirtschaftslehre

$44.99

Handbook Of Electronics Packaging Design and Engineering

$39.99

Informing Clinical Practice in Nephrology

$54.99

Indo-Mozambicans in Maputo, 1947-1992

$129.99

Industrielle Kostenrechnung

$54.99

Gene Future

$54.99

The Basel II Risk Parameters

$59.99

The Parametric Lambda Calculus

$54.99

Childhood Leukemia: Present Problems and Future Prospects

$129.00

Studies in Fiction and History from Austen to Le Carre

$54.99

Innovationskompetenz im demografischen Wandel

$39.99

Conformal Geometry of Surfaces in S4 and Quaternions

$34.99

Rollenverstndnis und Vergtung des deutschen Aufsichtsrats

$59.99

The Euro as a Stabilizer in the International Economic System

$169.99

Motherhood in the Face of Trauma

$139.99

Surface Waves and Fluxes

$129.00

Intellectuals in Twentieth-Century France

$109.99

Private Actors in International Investment Law

$129.00

Ultra-High Temperature Materials IV

$329.99

Atlas of Genitourinary Pathology

$89.00

Classical Theories of Money, Output and Inflation

$169.99

Bone Tissue Engineering

$219.99