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 l vel. In addition, argument binding is under the control of the programmer, permitting the definition of various methods of argument ransmission 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...
Since the introduction of Smalltalk, the object-oriented approach towards the organization of data a...
A modular pro-gram contains blocks of code with single entry and exit points. You can reuse well wri...
THE COGENT (Compiler and Generalized Translator) programming system is a compiler whose input langua...
This paper describes an integrated procedure mechanism that permits procedures to be used as recursi...
We present a clean approach to integrating logic programs with functional procedures written in othe...
We present a systematic reconstruction of a compilation method for an extension to logic programming...
The conversation scheme has been defined to design concurrent software which provides backward error...
We investigate the origin of recursive procedures in imperative programming languages. We attempt to...
In this paper we present an approach for modelling functional procedures (as they occur in imperativ...
We present a new approach to providing a structural operational semantics for imperative programming...
The aim of our ongoing research is to give a method to construct intelligent tutoring systems for ag...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
Many modern programming languages offer a facility for "inlining" designated procedure and...
This thesis documents the design and implementation of procedures in a database programming language...
A method is presented for parsing syntactic constructs that are permitted to appear independently an...
Since the introduction of Smalltalk, the object-oriented approach towards the organization of data a...
A modular pro-gram contains blocks of code with single entry and exit points. You can reuse well wri...
THE COGENT (Compiler and Generalized Translator) programming system is a compiler whose input langua...
This paper describes an integrated procedure mechanism that permits procedures to be used as recursi...
We present a clean approach to integrating logic programs with functional procedures written in othe...
We present a systematic reconstruction of a compilation method for an extension to logic programming...
The conversation scheme has been defined to design concurrent software which provides backward error...
We investigate the origin of recursive procedures in imperative programming languages. We attempt to...
In this paper we present an approach for modelling functional procedures (as they occur in imperativ...
We present a new approach to providing a structural operational semantics for imperative programming...
The aim of our ongoing research is to give a method to construct intelligent tutoring systems for ag...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
Many modern programming languages offer a facility for "inlining" designated procedure and...
This thesis documents the design and implementation of procedures in a database programming language...
A method is presented for parsing syntactic constructs that are permitted to appear independently an...
Since the introduction of Smalltalk, the object-oriented approach towards the organization of data a...
A modular pro-gram contains blocks of code with single entry and exit points. You can reuse well wri...
THE COGENT (Compiler and Generalized Translator) programming system is a compiler whose input langua...