Models of programming language concepts

  • C. B. Jones
Constructive Definitions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 86)


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


Context Condition Assignment Statement Phrase Structure Abstract Syntax Semantic Function 
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.


  1. Bekic (70b): "Formalization of Storage Properties", H.Bekic and K.Walk, (in) Engeler (71).Google Scholar
  2. 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
  3. Bjorner (77a): "Programming Languages; Formal Development of Interpreters and Compilers", D.Bjorner, (in) Morlet (77), pp 1–22.Google Scholar
  4. 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
  5. Bjorner (78b): "Programming in the Meta-Language: A Tutorial", D.Bjorner, (in) Bjorner (78), pp 24–217.Google Scholar
  6. 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
  7. 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
  8. 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
  9. Jones (71): "Proving Correctness of Implementation Techniques", C.B.Jones and P.Lucas, (in) Engeler (71), pp 178–211, 1971.Google Scholar
  10. Jones (74): "Formal Definition in Program Development", C.B.Jones, (in) Hackl (75), pp 387–443Google Scholar
  11. Jones (76a): "Formal Definition in Compiler Development", C.B.Jones, IBM (Vienna) Technical Report TR25.145, Feb. 1976.Google Scholar
  12. Jones (78a): "The Meta-language: A Reference Manual", C.B.Jones, (in) Bjorner (78).Google Scholar
  13. Jones (78b): "Denotational Semantics of Goto: an Exit Formulation and its Relation to Continuations", C.B.Jones, (in) Bjorner (78).Google Scholar
  14. 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
  15. Jones (80): "Software Development: A Rigorous Approach", C.B.Jones, in preparation for Prentice-Hall InternationalGoogle Scholar
  16. Lucas (68): "Two Constructive Realizations of the Block Concept and Their Equivalence", P.Lucas, IBM (Vienna) Technical Report TR25.085, June 1968.Google Scholar
  17. 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
  18. Lucas (78): "On the Formalization of Programming Languages: Early History and Main Approaches", P.Lucas, (in) Bjorner (78).Google Scholar
  19. McCarthy (66): "A Formal Description of a Subset of ALGOL", J.McCarthy, (in) Steel (66).Google Scholar
  20. Milne (76): "A Theory of Programming Language Semantics", R.Milne and C.Strachey, Chapman and Hall, 1976.Google Scholar
  21. Morris (73): "Advice on Structuring Compilers and Proving them Correct", F.L.Morris, ACM SIGPLAN Conference, Oct. 1973.Google Scholar
  22. Mosses (74): "The Mathematical Semantics of Algol 60", P.D.Mosses, Oxford University, PRG-12, 1974.Google Scholar
  23. Naur (63): "Revised Report on the Algorithmic Language ALGOL 60", (ed) P.Naur, Communications of ACM, Vol.6, p1, 1963.Google Scholar
  24. Reynolds (72): "Definitional Interpreters for Higher-Order Programming Languages", J.C.Reynolds, Proceedings 25th ACM National Conference, pp 717–740, 1972.Google Scholar
  25. Stoy (77): "Denotational Semantics — the Scott-Strachey Approach to Programming Language Theory", J.E.Stoy, MIT Press, 1977.Google Scholar
  26. Weissenboeck (75): "A Formal Interface Specification", F. Weissenboeck, IBM (Vienna) Technical Report TR25.141, Feb. 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • C. B. Jones
    • 1
  1. 1.IBM ESRI La HulpeBelgium

Personalised recommendations