Affiliation:
1. General Electric Corporate Research and Development Schenectady, New York
Abstract
There appears to be a need for an intuitive implementable cell-based model of the semantics of algorithm execution. It is contended that for block structured processes, such a model must be based on the concepts of nested blocks, access environments, labels, and cell retention. A model so based, the contour model, is introduced by illustrating the execution of an ALGOL 60 program in terms of the model. The model is informally specified and some of its major features are pointed out. A companion paper by D. M. Berry shows that semantically powerful languages can be directly implemented in terms of the model.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference25 articles.
1. B2. Baumann R. Feliciano M. Bauer F. L. and Samelson K. Introduction to ALGOL. Prentice-Hall Englewood Cliffs. N. J. 1964. B2. Baumann R. Feliciano M. Bauer F. L. and Samelson K. Introduction to ALGOL . Prentice-Hall Englewood Cliffs. N. J. 1964.
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献