Experiments in block-structured GOTO language modeling: — EXITs versus continuations

  • Dines Bjørner
Constructive Definitions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 86)


Two ‘extreme’ styles of modeling the denotational semantics of GOTOs are current. The exit mechanism and the continuation scheme. In this note we shall exemplify these through the definition of a simple, yet non-trivial, block-structured language. We present, comment and discuss variant definitions illustrating ‘pure’ exit-, ‘pure’ continuation-, and combined scheme semantics. The aim of the note is to suggest non-dogmatic uses of combinations of the two ‘extremist’ schemes, as well as to propagate acquaintance with the less well-known exit mechanism.


Denotational Semantics GOTO languages Exit Semantics Continuations META-IV meta-language semantics 


5.24 4.22 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C.B.Jones: "Mathematical Semantics of GOTO: Exit Formulation and its Relation to Continuations", IBM ESRI Report, LaHulpe, Belgium, 1976.Google Scholar
  2. [2]
    H.Bekić, D.Bjørner, W.Henhapl, C.B.Jones & P.Lucas: "Formal Definition of a PL/I Subset", IBM Vienna Lab., Techn.Rpt. TR25.139, December 1974.Google Scholar
  3. [3]
    C.B. Jones: "Formal Definition in Program Development", Springer Lecture Notes in Computer Science: ‘Programming Methodology', vol. 23, pp. 387–443, 1975.Google Scholar
  4. [4]
    C.B.Jones: "Formal Definition in Compiler Development", IBM Vienna Lab. Techn.Rpt. TR25.145, February 1976.Google Scholar
  5. [5]
    D.Bjørner & C.B.Jones (eds.): "The Vienna Development Method: The Meta-Language", Springer Verlag, Lecture Notes in Computer Science, vol.63, 1978.Google Scholar
  6. [6]
    D.Bjørner: "Programming Languages: Linguistics and Semantics", European ACM International Computing Symposium 1977, North-Holland Publ., Amsterdam, pp. 511–536.Google Scholar
  7. [7]
    D.Bjørner: "Programming Languages: Formal Development of Interpreters and Compilers", ibid., pp. 1–26.Google Scholar
  8. [8]
    F.Lockwood Morris: "The Next 700 Programming Language Descriptions", unpubl., Univ.of Essex, Comp.Ctr., 1970.Google Scholar
  9. [9]
    C.Strachey & C.Wadsworth: "Continuations: a Mathematical Semantics for Handling Full Jumps", Techn.Monograph PRG-11, Programming Research Group, Oxford Univ. Computing Lab., 1974.Google Scholar
  10. [10]
    J.C. Reynolds: "On the Relation between Direct and Continuation Semantics", 2nd Colloq. on ‘Automata, Languages and Programming', Saarbrücken, Springer Lecture Notes in Comp. Sci., vol. 33, 1975, pp. 141–156.Google Scholar
  11. [11]
    R.D. Tennent: "The Denotational Semantics of Programming Languages", CACM, vol.19, no.8, 1976, pp. 437–453.Google Scholar
  12. [12]
    R.D.Tennent: "Mathematical Semantics of SNOBOL-4", ACM SIGPLAN/SIGACT Symp.on ‘Principles of Programming Languages', Boston, 1973, pp. 95–107.Google Scholar
  13. [13]
    R.Milne & C.Strachey: "A Theory of Programming Language Semantics", Chapman & Hall Publ., 1976.Google Scholar
  14. [14]
    P.D.Mosses: "The Mathematical Semantics of ALGOL 60", Techn.Monograph PRG-12, Programming Research Group, Oxford Univ. Computing Lab., January 1974.Google Scholar
  15. [15]
    P.D. Mosses: "Mathematical Semantics and Compiler Generation", Ph.D.Thesis, Oxford Univ. Computing Lab., April 1975.Google Scholar
  16. [16]
    R.Milne: "The Formal Semantics of Computer Languages and their Implementation", Ph.D.Thesis, Cambridge Univ., and Techn.Monograph PRG-13 (microfiche), Programming Research Group, Oxford Univ. Computing Lab., 1974.Google Scholar
  17. [17]
    R.D. Tennent: "Mathematical Semantics and The Design of Programming Languages", Ph.D.Thesis, Univ. of Toronto, 1973.Google Scholar
  18. [18]
    J.E. Donahue: "Complementary Definition of Programming Language Semantics", Springer Lecture Notes in Comp.Sci., vol. 42, 1976.Google Scholar
  19. [19]
    J.Stoy: "The Scott-Strachey Approach to Mathematical Semantics", (Lecture Notes, 1974) MIT Press, 1977.Google Scholar
  20. [20]
    J.C.Reynolds: "Definitional Interpreters for Higher-Order Programming Languages", ACM Nat'l. Conf.,Proc., 1972, pp. 717–740.Google Scholar
  21. [21]
    P.D. Mosses: "The Semantics of Semantic Equations", Proc. Mathematical Foundations of Comp.Sci. (MFCS), Springer Lecture Notes in Comp.Sci., vol. 28, 1975, pp. 409–422.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Dines Bjørner
    • 1
  1. 1.Department of Computer ScienceTechnical University of DenmarkKgs.LyngbyDenmark

Personalised recommendations