Abstract
This paper focusses on a language which allows to program and encapsulate control environments. The proposal is to tackle control related problems much the same way data type related problems have been tackled in recent programming language designs, that is introducing the possibility of building complex structures starting from a restricted set of primitive notions and providing a hiding mechanism allowing new objects to be used as if they were primitive in the language. An example of a control package implementing recursion along with simple exception handling mechanisms tries to put the ideas in focus.
Similar content being viewed by others
References
D. G. Bobrow and B. Raphael,New programming languages for artificial intelligence research, Computing Surveys 6, 3 (1974), 153–174.
J. B. Goodenough,Exception handling: issues and proposed notation, Communications of ACM, Vol. 18 (1975), 683–696.
M. Gordon,The Denotational Description of Programming Languages. An Introduction, Springer, New York (1979).
D. R. Hanson and R. E. Griswold,The SL5 procedure mechanism, Communications of ACM, Vol. 21 (1978), 392–400.
C. Hewitt,Viewing control structures as patterns of passing messages, Artificial Intelligence Journal, Vol. 8 (1977), 323–364.
C. Hewitt and H. Baker,Laws for Communicating Parallel Processes, IFIP 77 (B. Gilchrist ed.) North-Holland, 987–992.
C. A. R. Hoare,Communicating sequential processes, Communications of ACM 21, 8 (August, 1978), 666–677.
R. Levin,Program structures for exceptional conditions handling, Ph.D. Thesis, Dept. of Comput. Sci., Carnegie-Mellon Univ., Un-numbered Internal Report, June (1977).
B. Liskov and A. Snyder,Exception handling in CLU, IEEE Transactions on Software Engineering, Vol. SE-5 (1979), 546–558.
B. Liskov, A. Snyder, R. Atkinson and C. Shaffert,Abstraction mechanisms in CLU, Communications of ACM 21 (1977), 564–576.
C. Montangero, G. Pacini and F. Turini,Magmalisp: a machine language for artificial intelligence, Proc. 4th Int. Joint Conf. Artificial Intel., Tiblisi (1975), 556–561.
G. J. Popek, J. J. Horning, B. W. Lampson, J. G. Mitchell and R. L. London,Note on the design of EUCLID, Sigplan Notices 12 (1977), 11–18.
M. Shaw,The impact of abstraction concerns on modern programming languages, Tech. Rept. CMU-CS-80-116, Carnegie-Mellon Univ., April (1980).
S. A. Shuman, ed.,Proceedings of the international symposium on extensible languages, ACM SIGPLAN NOTICES 6, (December, 1971).
F. Turini,Magma2: a language oriented to experiments in control, IBM Research Report RJ2758, (February 1980).
F. Turini,Denotational models of control environments, in preparation.
P. Wegner,Programming with ADA: an introduction by means of graduate examples, SIGPLAN Notices 14–12, (December 1979), 1–47.
W. A. Wulf, R. L. London and M. Shaw,An introduction to the construction and verification of alphard programs, IEEE Transactions on Software Engineering SE-2 (1976), 252–256.
Author information
Authors and Affiliations
Additional information
The work reported in this paper was partly done while the author was visiting the Computer Science Department of the IBM San Jose Research Laboratory from the Istituto di Scienze dell' Informazione, University of Pisa, Italy.
Rights and permissions
About this article
Cite this article
Turini, F. Abstractions of control environments. BIT 23, 21–35 (1983). https://doi.org/10.1007/BF01937323
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01937323