Semantics and proof rules for coroutine hierarchies in block-structured programming languages

  • Peter Raulefs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 53)


Operating Chain Abstract Syntax Instruction Sequence Denotational Semantic Semantic Domain 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. 1.
    Wadsworth, C.P. Ph.D. Thesis, Univ. of Oxford, Spt. 1971Google Scholar
  2. 2.
    Morris, J.H., P. Henderson. Proc. 3rd ACM Conf. on Principles of Programming Languages. Atlanta, Jan 1976, 95–103.Google Scholar
  3. 3.
    Friedman, D.P., D.S. Wise. Proc. 3rd Int. Coll. on Automata, Languages and Programming. Edinburgh, July 1976, 257–284.Google Scholar
  4. 4.
    Kahn, G., D. McQueen. Tech.Rept. Nr. 202. IRIA 1976.Google Scholar
  5. 5.
    Dahl, O.-J., K. Nygoard. CACM:10(1966)671–678.Google Scholar
  6. 6.
    Britton, D.E. et al. Proc. 3rd ACM Conf. on Principles of Programming Languages, Atlanta, Jan. 1976, 185–191.Google Scholar
  7. 7.
    Wang, A., O.-I. Dahl. BIT:11(1971)425–449.Google Scholar
  8. 8.
    Clint, M. Acta Informatica:2(1973)50–63.CrossRefGoogle Scholar
  9. 9.
    Dahl, O.J. Proc. 3rd Symp. on Math. Foundations of Computer Science. Jadwisin, June 1974, 157–174.Google Scholar
  10. 10.
    Pritchard, P.A. Inf. Proc. Letters:4(1976)141–143.CrossRefGoogle Scholar
  11. 11.
    Raulefs, P. Tech. Rept. (Fall 1977) forthcomingGoogle Scholar
  12. 12.
    Wegner, P. Computing Surveys:4(1972)5–62.CrossRefGoogle Scholar
  13. 13.
    Milne, R., Ch.Strachey. A theory of programming languages semantics. Chapmand, Hall, 1976.Google Scholar
  14. 14.
    Hoare, C.A.R. CACM: 12(1969)576–580.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Peter Raulefs
    • 1
  1. 1.Institut für Informatik IUniversität KarlsruheKarlsruhe 1Fed. Rep. Germany

Personalised recommendations