DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
An Interpreter for Extended Lambda Calculus: SCHEME,
MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
Pagination or Media Count:
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.
APPROVED FOR PUBLIC RELEASE