£111.72

Springer VLISP A Verified Implementation of Scheme Journal

Name: Springer VLISP A Verified Implementation of Scheme Journal
Brand: Springer
Price: 111.72 GBP
Availability: InStock

Compilers

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£112 today · all-time low £110 (May 2026) · usually £112

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 84 days • 84 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 84 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £110 (33 days, 39.3%)

Price range: £110 - £121

Price levels: 3 different prices over 84 days

Description

Explore the technical advancements of the VLISP project through this special issue of Lisp and Symbolic Computation. Published by Springer, this volume (Vol. 8, Nos. 1 & 2, March 1995) provides a detailed look at the production of a comprehensively verified implementation for the Scheme programming language. This academic resource details how the project achieved a warts-and-all verification of a real language. The work is built upon the Clinger-Rees denotational semantics of Scheme, aiming for a rigorous approach presented in the style of mathematical discourse. It serves as a significant reference for researchers and computer scientists studying language implementation, formal verification, and symbolic computation. This journal issue is an essential addition to any collection focused on high-level programming language theory and the practical application of semantic specifications.

Key Features

Detailed study of the VLISP project and its verified implementation of the Scheme programming language.

Based on the Clinger-Rees denotational semantics to ensure a rigorous approach to language verification.

Provides a warts-and-all verification of a real-world language rather than a theoretical model.

Published in the international journal Lisp and Symbolic Computation, Vol. 8, Nos. 1 & 2.

Offers a mathematical discourse style that maintains rigor throughout the technical documentation.

An essential resource for professionals in AI, machine learning, and computer science research.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792395662
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 31 May 1995
Listed Since: 09 December 2006

Barcode

No barcode data available

Springer VLISP A Verified Implementation of Scheme Journal

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Lisp in Small Pieces

Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)

Programming Language Explorations

Programming Language Explorations

Object-Orientation, Abstraction, and Data Structures Using Scala (Chapman & Hall/CRC Textbooks in Computing)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Introduction to Programming and Problem-Solving Using Scala (Chapman & Hall/CRC Textbooks in Computing)

Structure and Interpretation of Computer Programs: JavaScript Edition (Mit Electrical Engineering and Computer Science)

Drawing Programs: The Theory and Practice of Schematic Functional Programming

Understanding Programming Languages

Shape Analysis (Foundations and Trends® in Programming Languages)

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)

Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems

Theories of Programming Languages

Formal Language: A Practical Introduction

Theories of Programming Languages

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Springer - Specification and Verification of Multi-agent Systems