The safety of a coroutine system

  • Jorma Sajaniemi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)


Coroutine control is usually represented in high level languages in a way which allows the referencing of terminated coroutines and permits tricky calling sequences. In this paper a different method and notation for the expression of coroutines is outlined and its safety and balance are proved. The proofs are based on a model which describes only the relevant and general aspects of executions. Thus the proofs deal with the whole language and not with specific programs.


Strict Definition Double Arrow High Level Language Single Arrow Real Execution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Burroughs B6700/B7700 Extended Algol Language Information Manual. Burroughs Corporation, Form 5000128, 1972.Google Scholar
  2. 2.
    Conway M. E.: Design of a Separable Transition-Diagram Compiler. Comm. ACM 6,7 (1963), 396–408.Google Scholar
  3. 3.
    Dahl O-J., Myhrhaug B., Nygaard K.: SIMULA 67 Common Base Language. Norwegian Computer Center, Publ. No. S-2, 1968.Google Scholar
  4. 4.
    Gentleman W. M.: A Portable Coroutine System. Information Processing 71 (ed. C. V. Freiman), North-Holland, 1972, 419–424.Google Scholar
  5. 5.
    Krieg B.: A Class of Recursive Coroutines. Information Processing 74 (ed. J. L. Rosenfeld), North-Holland, 1974, 408–412.Google Scholar
  6. 6.
    Sajaniemi J.: A View of Coroutines. In preparation.Google Scholar
  7. 7.
    Wang A., Dahl O-J.: Coroutine Sequencing in a Block Structured Environment. BIT 11,4 (1971), 425–449.Google Scholar
  8. 8.
    Wulf W. A. & al.: BLISS Reference Manual. Carnegie-Mellon University, 1970.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Jorma Sajaniemi
    • 1
  1. 1.Department of Computer ScienceUniversity of HelsinkiHelsinki 10Finland

Personalised recommendations