EULER: a generalization of ALGOL, and its formal definition: Part II
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
Algol-60 Implementation
Informal introduction to ALGOL 68
Informal introduction to ALGOL 68
The contour model of block structured processes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Error checking with pointer variables
ACM '76 Proceedings of the 1976 annual conference
Correctness of data representations (Extended Abstract): Pointers in high level languages
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
On the time required for retention
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Pointers and data abstractions in high level languages-I: Language proposals
Computer Languages
| Hi-index | 0.00 |
The purpose of this paper is to present and discuss two implementations of an extension, to support parallel computation, of the programming language EULER [WW66]. The run time environments of these two implementations are based, respectively, on the deletion and retention storage management policies [Be71b]. In addition to the effect of adding parallel computation, some of the more interesting conceptual and implementation problems associated with block-structured high level programming languages arise when the assignment as values of labels, references (pointers), and procedure descriptors is permitted. In particular, the choice of storage management policy significantly affects the correctness of implementation. Some of these problems are discussed in this paper. The basic mode of exposition centers around the EULER programming language and machine, chosen for their use of well-understood basic principles and their widely available, concise (if not always well explained), and reasonably precise definition. Familiarity with the principles of ALGOL 60 implementation [RR64], EULER [WW66], and the contour model of block-structured processes [Jo71] is assumed.