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

A Year in the Wilderness, Bearing Witness in the Boundary Waters by Amy Freeman

$25.00

Monitoring Student Achievement in the 21st Century

$169.99

Europe, Nations and Modernity

$54.99

Advances in Engine and Powertrain Research and Technology

$64.99

Bioinformatics Research and Applications

$109.99

Semaphorin Signaling

$89.00

Reimagining Utopias

$39.99

Solid Edge 2020 fr Fortgeschrittene kurz und bndig

$19.99

Contemporary Issues in the Sociology of Death, Dying and Disposal

$109.99

Physikalische Werkstoffdiagnostik

$69.99

Deckungsrckstellungen bei Versicherungsunternehmen nach HGB und US-GAAP

$69.99

Antecedents of Venture Firms Internationalization

$39.99

Proceedings of the Research Symposium on Complexes of Biologically Active Substances with Nucleic Ac

$84.99

Auenwirtschaft

$44.99

Fernsehen in Spanien

$79.99

DIANA. An Intermediate Language for Ada

$19.99

Perspectives on Economic Development and Policy in India

$119.00

Phage Therapy: A Practical Approach

$84.99

Nanosensors for Environment, Food and Agriculture Vol. 1

$109.99

Authority, Gender and Emotions in Late Medieval and Early Modern England

$79.99

Storm Depositional Systems

$39.99

Compare & Contrast Grade 3 Differentiation Pack

$5.99

Biochar and its Application in Bioremediation

$199.99

Performing Cities

$54.99

Prior Processes and Their Applications

$54.99

Der Weg zum 20. Juli 1944

$59.99

Amino Acids

$84.99

Magna Carta and New Zealand

$119.99

Mythographic Color and Discover: Cosmic Spirit: An Artist's Coloring Book of Tarot, Astrology, and Mystical Symbols by Fabiana Attanasio

$18.99

Technology and Intimacy: Choice or Coercion

$54.99

Recent Advancements in Materials and Systems for Thermal Energy Storage

$139.99

The Many Faces of Imitation in Language Learning

$84.99

Lectures on Dependency

$39.99

Individualisierte Standardsoftware in der Industrie

$59.99

The English Della Cruscans and Their Time, 17831828

$109.99

Honeybees

$3.71

Chemistry and Physics of Solid Surfaces VIII

$39.99

Advances in Digital Cultural Heritage

$39.99

Metechnik in der Versorgungstechnik

$64.99

Parteien im Wandel

$29.99