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
9781461523390
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

Online Discussion in Secondary and Higher Education

$79.99

Resilienz komplexer Regionalsysteme

$74.99

The Regulatory State in an Age of Governance

$54.99

Political Neutrality

$39.99

Walzen von Flachprodukten

$169.99

Biophotonics

$39.99

Industrial Relations in International Perspective

$39.99

Boy Like Me (Hardcover)

$14.99

German Buyouts Adopting a Buy and Build Strategy

$54.99

Introduction to Software Architecture

$59.99

Advances in Prostaglandin, Leukotriene, and other Bioactive Lipid Research

$109.99

Advances in Case-Based Reasoning

$84.99

Islamophobia

$39.99

Ende des rot-grnen Projekts

$49.99

The History and Preservation of Chemical Instrumentation

$129.00

Terawatt Solar Photovoltaics

$54.99

The Globalization of Markets

$39.99

Geschichte der griechischen Literatur fr hhere Lehranstalten und fr das Selbststudium

$59.99

Generalized Homogeneity in Systems and Control

$109.99

Die Gesprche des Labienus

$54.99

Mobilities and Neighbourhood Belonging in Cities and Suburbs

$39.99

Heart Failure

$379.99

Global Well-posedness and Asymptotic Behavior of the Solutions to Non-classical Thermo(visco)elastic

$139.99

Guidance Cues in the Developing Brain

$109.99

Die Deutschen Chirurgenkongresse Seit der 50. Tagung

$59.99

The Girl from the Sea (Hardcover)

$18.74

Die Sinnesorgane der Arthropoden ihr Bau und ihre Funktion

$59.99

Soft Borders

$39.99

Intelligent Broadband Multimedia Networks

$189.00

The Arc of Life

$99.99

Multipersonelles Verhalten bei strategischen Entscheidungen

$49.99

Computeruntersttzter Unterricht

$59.99

Verwaltete Schule

$44.99

Real Algebraic Varieties

$99.00

Public Sector Accounting, Auditing and Control in South Eastern Europe

$139.99

Praktische Getriebelehre

$39.99

Gene Therapy for Acute and Acquired Diseases

$109.99

Neue Forschungs- und Entwicklungsrichtungen im Fernsehen. Der gegenwrtige Stand der Filmtechnik

$59.99

Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes

$169.99

Kosten-, Erls- und Ergebnisrechnung

$29.99