Skip to main content
Log in

Abstractions of control environments

  • Part I Computer Science
  • Published:
BIT Numerical Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. D. G. Bobrow and B. Raphael,New programming languages for artificial intelligence research, Computing Surveys 6, 3 (1974), 153–174.

    Article  Google Scholar 

  2. J. B. Goodenough,Exception handling: issues and proposed notation, Communications of ACM, Vol. 18 (1975), 683–696.

    Article  Google Scholar 

  3. M. Gordon,The Denotational Description of Programming Languages. An Introduction, Springer, New York (1979).

    Google Scholar 

  4. D. R. Hanson and R. E. Griswold,The SL5 procedure mechanism, Communications of ACM, Vol. 21 (1978), 392–400.

    Article  Google Scholar 

  5. C. Hewitt,Viewing control structures as patterns of passing messages, Artificial Intelligence Journal, Vol. 8 (1977), 323–364.

    Article  Google Scholar 

  6. C. Hewitt and H. Baker,Laws for Communicating Parallel Processes, IFIP 77 (B. Gilchrist ed.) North-Holland, 987–992.

  7. C. A. R. Hoare,Communicating sequential processes, Communications of ACM 21, 8 (August, 1978), 666–677.

    Article  Google Scholar 

  8. R. Levin,Program structures for exceptional conditions handling, Ph.D. Thesis, Dept. of Comput. Sci., Carnegie-Mellon Univ., Un-numbered Internal Report, June (1977).

  9. B. Liskov and A. Snyder,Exception handling in CLU, IEEE Transactions on Software Engineering, Vol. SE-5 (1979), 546–558.

    Google Scholar 

  10. B. Liskov, A. Snyder, R. Atkinson and C. Shaffert,Abstraction mechanisms in CLU, Communications of ACM 21 (1977), 564–576.

    Article  Google Scholar 

  11. 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.

  12. 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.

    Google Scholar 

  13. M. Shaw,The impact of abstraction concerns on modern programming languages, Tech. Rept. CMU-CS-80-116, Carnegie-Mellon Univ., April (1980).

  14. S. A. Shuman, ed.,Proceedings of the international symposium on extensible languages, ACM SIGPLAN NOTICES 6, (December, 1971).

  15. F. Turini,Magma2: a language oriented to experiments in control, IBM Research Report RJ2758, (February 1980).

  16. F. Turini,Denotational models of control environments, in preparation.

  17. P. Wegner,Programming with ADA: an introduction by means of graduate examples, SIGPLAN Notices 14–12, (December 1979), 1–47.

    Google Scholar 

  18. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01937323

Keywords

Navigation