Journal of the ACM (JACM)
The Synthesis of Algorithmic Systems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Syntax-directed documentation for PL360
Communications of the ACM
The composition of semantics in Algol 68
Communications of the ACM
Structure of a LISP system using two-level storage
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Micro-Planner Reference Manual
Micro-Planner Reference Manual
Control structures for programming languages
Control structures for programming languages
The SNOBOL 4 programming language
The SNOBOL 4 programming language
LISP 1.5 Programmer's Manual
Semantic Information Processing
Semantic Information Processing
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
A model and stack implementation of multiple environments
Communications of the ACM
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
The design of a high-level, language-independent symbolic debugging system
ACM '77 Proceedings of the 1977 annual conference
A new technique for data monitoring
ACM SIGPLAN Notices
An implementation of backtracking for programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
Multiple evaluators in an extensible programming system
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
Automated programmering: the programmer's assistant
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
The LISP70 pattern matching system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Hi-index | 48.24 |
List processing systems should be designed to facilitate production of large programs to manipulate large complex symbolic data stores. This paper presents an overview of a number of system features which the author feels are important to improve the productivity of programmers working in such domains. A systems view is taken, rather than focusing just on language features, since algorithms must be not only coded in a language form, but debugged, modified, made efficient, and run on data. Because of this general framework, the requirements specified are applicable to the design of advanced programming systems for a wide range of applications.Three aspects of programming systems are highlighted: good interactive facilities, programmable control structures, and sophisticated data communication mechanisms. Interactive features are described to facilitate program composition, entry, testing, debugging, editing, optimization, and packaging. Implementation of a generalized environment structure model specified would allow programming of various control regimes including multiprocesses, coroutines and backtracking. Alternative methods of procedure invocation required include invocation by pattern and by monitoring condition. The need for extended data forms, storage management, and extensibility are stressed, as is the duality of data retrieval and function evaluation. Syntax directed input and output of data would facilitate use of complex data stores.