The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
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
BLISS: a language for systems programming
Communications of the ACM
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
A procedural approach to pattern matching in SNOBOL4
ACM '74 Proceedings of the 1974 annual conference - Volume 1
SAIL user manual.
ACM SIGPLAN Notices
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
The SNOBOL 4 programming language
The SNOBOL 4 programming language
Simula Begin
Structured programming
Computer Languages
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
CCAL: an interpreted language for experimentation in concurrent control
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
History of the Icon programming language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
High-level language facilities for low-level services
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
An Alternative to the Use of Patterns in String Processing
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Referencing and Retention in Block-Structured Coroutines
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hierarchical coroutines a mechanism for improved program structure
ICSE '79 Proceedings of the 4th international conference on Software engineering
A high-level programming and command language
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Language facilities for programmable backtracking
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A history of the SNOBOL programming languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The Icon programming language a new approach to high-level string processing
ACM '79 Proceedings of the 1979 annual conference
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
History of the Icon programming language
History of programming languages---II
A history of the SNOBOL programming languages
History of programming languages I
Implementing SNOBOL4 pattern matching in Icon
Computer Languages
An implementation of generators in C
Computer Languages
Computer Languages
| Hi-index | 48.22 |
This paper describes an integrated procedure mechanism that permits procedures to be used as recursive functions or as coroutines. This integration is accomplished by treating procedures and their activation records (called environments) as data objects and by decomposing procedure invocation into three separate components at the source-language level. In addition, argument binding is under the control of the programmer, permitting the definition of various methods of argument transmission in the source language itself. The resulting procedure mechanism, which is part of the SL5 programming language, is well suited to goal-oriented problems and to other problems that are more readily programmed by using coroutines. Several examples are given.