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