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