ISSN:
1572-9125
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract A certain primitive sequencing operation is defined, applicable as an extension to Algol-like languages. The operation serves the double purpose of “intermediate exit” from or “reentry” into procedure-like block instances. A second primitive, which corresponds to a fully symmetric coroutine linkage, is derived from the former. An abstract notation is introduced for the concepts of textual and dynamic enclosure of block instances. The effects of the sequencing primitives are explored in terms of this notation, and certain results are proved. Finally applications are given within the language framework of Simula 67.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01939412