Skip to main content
SpringerLink
Log in

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

  • Constructive Definitions
  • Conference paper
  • First Online:
Abstract Software Specifications

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

Abstract

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.

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.

References

  1. C.B.Jones: "Mathematical Semantics of GOTO: Exit Formulation and its Relation to Continuations", IBM ESRI Report, LaHulpe, Belgium, 1976.

    Google Scholar 

  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. 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. C.B.Jones: "Formal Definition in Compiler Development", IBM Vienna Lab. Techn.Rpt. TR25.145, February 1976.

    Google Scholar 

  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. D.Bjørner: "Programming Languages: Linguistics and Semantics", European ACM International Computing Symposium 1977, North-Holland Publ., Amsterdam, pp. 511–536.

    Google Scholar 

  7. D.Bjørner: "Programming Languages: Formal Development of Interpreters and Compilers", ibid., pp. 1–26.

    Google Scholar 

  8. F.Lockwood Morris: "The Next 700 Programming Language Descriptions", unpubl., Univ.of Essex, Comp.Ctr., 1970.

    Google Scholar 

  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. 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. R.D. Tennent: "The Denotational Semantics of Programming Languages", CACM, vol.19, no.8, 1976, pp. 437–453.

    Google Scholar 

  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. R.Milne & C.Strachey: "A Theory of Programming Language Semantics", Chapman & Hall Publ., 1976.

    Google Scholar 

  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. P.D. Mosses: "Mathematical Semantics and Compiler Generation", Ph.D.Thesis, Oxford Univ. Computing Lab., April 1975.

    Google Scholar 

  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. R.D. Tennent: "Mathematical Semantics and The Design of Programming Languages", Ph.D.Thesis, Univ. of Toronto, 1973.

    Google Scholar 

  18. J.E. Donahue: "Complementary Definition of Programming Language Semantics", Springer Lecture Notes in Comp.Sci., vol. 42, 1976.

    Google Scholar 

  19. J.Stoy: "The Scott-Strachey Approach to Mathematical Semantics", (Lecture Notes, 1974) MIT Press, 1977.

    Google Scholar 

  20. J.C.Reynolds: "Definitional Interpreters for Higher-Order Programming Languages", ACM Nat'l. Conf.,Proc., 1972, pp. 717–740.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Denmark, DK-2800, Kgs.Lyngby, Denmark

    Dines Bjørner

Authors
  1. Dines Bjørner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjøorner

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bjørner, D. (1980). Experiments in block-structured GOTO language modeling: — EXITs versus continuations. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-10007-5_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10007-2

  • Online ISBN: 978-3-540-38136-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation