An Interpreter for Extended Lambda Calculus: SCHEME,

Abstract

Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP; (2) explain how to use these control structures, independent of such issues as pattern matching and data base manipulation; (3) have a simple concrete experimental domain for certain issues of programming semantics and style.

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1975
Accession Number
ADA026595

Entities

People

  • Gerald Jay Sussman
  • Guy Lewis Steele Jr.

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Calculus
  • Computer Programming
  • Concrete
  • Databases
  • Embedding
  • Language
  • Linguistics
  • Neurobehavioral Manifestations
  • Semantics
  • Side Effects
  • Words (Language)

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.