Skip to main content
SpringerLink
Log in

Coroutines and processes in block structured languages

  • Contributed Papers
  • Conference paper
  • First Online:
Book cover Theoretical Computer Science

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 145))

  • 120 Accesses

Abstract

This paper considers the semantics of coroutines and processes in block structured languages; in particular, the problem of existence of static and dynamic environments. It is shown that a definition of inaccessible module instances may result in an inconsistent meaning of some operations. Both an Algol-like language and a SIMULA-like language, (with pointers yet without coroutines), are proven to have well-defined semantics. The examples provided in this paper show that some coroutine and concurrent operations may, however, destroy the static environment.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Bartol, W. M., Kreczmar, A., Lao, M., Litwiniuk, A., Muldner, T., Oktaba, H., Salwicki, A., Szczepanska-Wasersztrum, D., Report on the Programming Language Loglan 79. Internal Report, University of Warsaw.

    Google Scholar 

  2. Bartol, W. M., Kreczmar, A., Litwiniuk, A., Oktaba, H., Semantics and Implementation of Prefixing at many Levels. IInf UW Report NR 94 Institute of Informatics, University of Warsaw.

    Google Scholar 

  3. Berry, D. M., Block Structure: Retention vs. Deletion. Proc. Third Symposium on Theory of Computation, 1971, The MIT Press, 1979.

    Google Scholar 

  4. Bobrow, D. G., Wegbreit, B., A Model and Stack Implementation of Multiple Environments. BBN Report 2334, 1972.

    Google Scholar 

  5. Brinch-Hansen, P., Operating System Principles. Prentice Hall, 1973.

    Google Scholar 

  6. Dahl, O. J., Myhrhaug, B., Nygaard, K., Common Base Language. NCC S-22, October, 1970.

    Google Scholar 

  7. Dahl, O. J., Wang, A., Coroutine Sequencing in a Block Structured Environment. BIT 1971, pp. 425–49.

    Google Scholar 

  8. Lindstrom, G., Soffa, M. L. Referencing and Retention in Block Structured Coroutines. ACM TOPLAS Vol. 3, N 3, July 1981.

    Google Scholar 

  9. Naur, P., (Ed.), Revised Report on the Algorithmic Language ALGOL 60. CACM 6, 1963, pp. 1–17.

    Google Scholar 

  10. Organick, E. I., Computer System Organization. The B5700/6700 Series. Academic Press 1973, New York.

    Google Scholar 

  11. Reference Manual for the ADA Programming Language, United States Depart. of Defense, July 1980.

    Google Scholar 

  12. Wegner, P., Programming Languages — Concepts and Research Directions. In: Research Directions in Software Technology, edited by P. Wegner.

    Google Scholar 

  13. Wirth, N., The Programming Language Pascal. Acta Informatica 1971, 1, pp. 35–63.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, PKiN VIII floor, 00901, Warsaw, Poland

    A. Kreczmar

  2. School of Computer Science, Acadia University, Wolfville, Nova Scotia, BOP IXO, Canada

    T. Müldner

Authors
  1. A. Kreczmar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. Müldner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Armin B. Cremers Hans-Peter Kriegel

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kreczmar, A., Müldner, T. (1982). Coroutines and processes in block structured languages. In: Cremers, A.B., Kriegel, HP. (eds) Theoretical Computer Science. Lecture Notes in Computer Science, vol 145. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0036484

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11973-9

  • Online ISBN: 978-3-540-39421-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation