A Model for Control Structures for Artificial Intelligence Programming Languages

Authors:
D. G. Bobrow;B. Wegbreit
Affiliations:
Computer Science Laboratory, Xerox Palo Alto Research Center;-
Venue:
IEEE Transactions on Computers
Year:
1976

Citing 14
Cited 0

Backtrack Programming

Journal of the ACM (JACM)
Nondeterministic Algorithms

Journal of the ACM (JACM)
Requirements for advanced programming systems for list processing

Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept

Communications of the ACM
A model and stack implementation of multiple environments

Communications of the ACM
On implementation of label, variables

Communications of the ACM
An implementation of backtracking for programming languages

ACM '72 Proceedings of the ACM annual conference - Volume 2
Some examples of the use of function-producing functions

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problem

ACM SIGSAM Bulletin
LISP 1.5 Programmer's Manual

LISP 1.5 Programmer's Manual
Report on the algorithmic language ALGOL 68

Report on the algorithmic language ALGOL 68
Data structure models for programming languages

ACM SIGPLAN Notices
The contour model of block structured processes

ACM SIGPLAN Notices
The ECL programming system

AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference

Quantified Score

Hi-index	14.98

Visualization

Abstract

Newer programming languages for artificial intelligence extend the class of available control regimes beyond simple hierarchical control. In so doing, a key issue is using a model that clearly exhibits the relation between modules, processes, access environments, and control environments. This paper presents a model which is applicable to diverse languages and presents a set of control primitives which provide a concise basis on which one can define almost all known regimes of control.