Springer VLISP A Verified Implementation of Scheme Journal

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.