LISP and Symbolic Computation, 7(4)315-335

A Tractable Scheme Implementation

Richard A. Kelsey, NEC Research Institute
Jonathan A. Rees, MIT and Cornell University

Abstract: Scheme 48 is an implementation of the Scheme programming language constructed with tractability and reliability as its primary design goals. It has the structural properties of large, compiler-based Lisp implementations: it is written entirely in Scheme, is bootstrapped via its compiler, and provides numerous language extensions. It controls the complexity that ordinarily attends such large Lisp implementations through clear articulation of internal modularity and by the exclusion of features, optimizations, and generalizations that are of only marginal value.

Keywords: byte-code interpreters, virtual machines, modularity, Scheme, partial evaluation, layered design

[local copy]
[picture of journal cover]

May 2003 - hosc@brics.dk