Skip to main content
SpringerLink
Log in

Models of programming language concepts

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

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

Abstract

Various features of high-level programming languages are discussed and ways of providing definitions are proposed. The definitions given are denotational.

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

  • Bekic (70b): "Formalization of Storage Properties", H.Bekic and K.Walk, (in) Engeler (71).

    Google Scholar 

  • Bekic (74): "A Formal Definition of a PL/I Subset", (2 parts), H.Bekic, D.Bjorner, W.Henhapl, C.B.Jones and P.Lucas, IBM (Vienna) Technical Report TR25. 139, Dec. 1974.

    Google Scholar 

  • Bjorner (77a): "Programming Languages; Formal Development of Interpreters and Compilers", D.Bjorner, (in) Morlet (77), pp 1–22.

    Google Scholar 

  • Bjorner (78a): "The Vienna Development Method: The Meta-Language", (eds) D.Bjorner and C.B.Jones, Springer-Verlag Lecture Notes in Computer Science, No. 61, 1978.

    Google Scholar 

  • Bjorner (78b): "Programming in the Meta-Language: A Tutorial", D.Bjorner, (in) Bjorner (78), pp 24–217.

    Google Scholar 

  • Henhapl (70b): "The Block Concept and Some Possible Implementations, with Proofs of Equivalence", W.Henhapl and C.B.Jones, IBM (Vienna) Technical Report TR25. 104, Apr. 1970.

    Google Scholar 

  • Henhapl (78): "A Formal Definition of ALGOL 60 as Described in the 1975 Modified Report", W.Henhapl and C.B.Jones, (in) Bjorner (78).

    Google Scholar 

  • Izbicki (75): "On a Consistency Proof of a Chapter of a Formal Definition of a PL/I Subset", H.Izbicki, IBM (Vienna) Technical Report TR25.142, Feb. 1975.

    Google Scholar 

  • Jones (71): "Proving Correctness of Implementation Techniques", C.B.Jones and P.Lucas, (in) Engeler (71), pp 178–211, 1971.

    Google Scholar 

  • Jones (74): "Formal Definition in Program Development", C.B.Jones, (in) Hackl (75), pp 387–443

    Google Scholar 

  • Jones (76a): "Formal Definition in Compiler Development", C.B.Jones, IBM (Vienna) Technical Report TR25.145, Feb. 1976.

    Google Scholar 

  • Jones (78a): "The Meta-language: A Reference Manual", C.B.Jones, (in) Bjorner (78).

    Google Scholar 

  • Jones (78b): "Denotational Semantics of Goto: an Exit Formulation and its Relation to Continuations", C.B.Jones, (in) Bjorner (78).

    Google Scholar 

  • Jones (79b): "The Vienna Development Method: Examples of Compiler Development", C.B.Jones, in: "Le Point sur la Compilation", M.Amirchahy and D.Neel (eds.), IRIA-SEFI, 1979.

    Google Scholar 

  • Jones (80): "Software Development: A Rigorous Approach", C.B.Jones, in preparation for Prentice-Hall International

    Google Scholar 

  • Lucas (68): "Two Constructive Realizations of the Block Concept and Their Equivalence", P.Lucas, IBM (Vienna) Technical Report TR25.085, June 1968.

    Google Scholar 

  • Lucas (73): "On Program Correctness and the Stepwise Development of Implementations", P.Lucas, (in) Proceedings Convegno di Informatica Teorica, pp 219–251, University of Pisa, Mar. 1973.

    Google Scholar 

  • Lucas (78): "On the Formalization of Programming Languages: Early History and Main Approaches", P.Lucas, (in) Bjorner (78).

    Google Scholar 

  • McCarthy (66): "A Formal Description of a Subset of ALGOL", J.McCarthy, (in) Steel (66).

    Google Scholar 

  • Milne (76): "A Theory of Programming Language Semantics", R.Milne and C.Strachey, Chapman and Hall, 1976.

    Google Scholar 

  • Morris (73): "Advice on Structuring Compilers and Proving them Correct", F.L.Morris, ACM SIGPLAN Conference, Oct. 1973.

    Google Scholar 

  • Mosses (74): "The Mathematical Semantics of Algol 60", P.D.Mosses, Oxford University, PRG-12, 1974.

    Google Scholar 

  • Naur (63): "Revised Report on the Algorithmic Language ALGOL 60", (ed) P.Naur, Communications of ACM, Vol.6, p1, 1963.

    Google Scholar 

  • Reynolds (72): "Definitional Interpreters for Higher-Order Programming Languages", J.C.Reynolds, Proceedings 25th ACM National Conference, pp 717–740, 1972.

    Google Scholar 

  • Stoy (77): "Denotational Semantics — the Scott-Strachey Approach to Programming Language Theory", J.E.Stoy, MIT Press, 1977.

    Google Scholar 

  • Weissenboeck (75): "A Formal Interface Specification", F. Weissenboeck, IBM (Vienna) Technical Report TR25.141, Feb. 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM ESRI La Hulpe, Belgium

    C. B. Jones

Authors
  1. C. B. Jones
    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

Jones, C.B. (1980). Models of programming language concepts. 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_36

Download citation

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

  • 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