Accession Number:

ADA026595

Title:

An Interpreter for Extended Lambda Calculus: SCHEME,

Descriptive Note:

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

• Sussman,Gerald Jay
• Steele,Guy Lewis , Jr

Report Date:

1975-12-01

Pagination or Media Count:

46.0

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.

Descriptors:

• *COMPUTER PROGRAMMING
• PROGRAMMING LANGUAGES
• SEMANTICS
• RECURSIVE FUNCTIONS
• CONTROL SEQUENCES

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE