VDM: Origins, hopes, and achievements

  • Peter Lucas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


Assignment Statement Abstract Syntax Context Free Grammar High Level Language Abstract Machine 
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. [ANSI 76]
    ANSI X3.53, Programming Language PL/I, Institute/ (New York/American National Standards,.Google Scholar
  2. [Bekic 65]
    H.Bekic, Mechanical Transformation Rules for the Reduction of ALGOL to a Primitive Language M and their Use in defining the Compiler Function, IBM Laboratory Vienna, TR 25.051 (1965).Google Scholar
  3. [Bekic 71]
    H.Bekic & K.Walk, Formalization of Storage Properties, in: [Engeler 71] (1971).Google Scholar
  4. [Bekic 84]
    H.Bekic, Programming Languages and Their Definition, LNCS, Springer-Verlag 177 (1984).Google Scholar
  5. [Bjorner 78]
    D.Bjorner & C.B.Jones (Eds.), The Vienna Development Method: The Meta-Language, LNCS, Springer-Verlag 61 (1978).Google Scholar
  6. [Bjorner 80]
    D.Bjorner (Ed.), Towards a Formal Description of ADA, Springer Verlag 98 (New York, 1980).Google Scholar
  7. [Bjorner 82]
    D. Bjorner (Ed.), Formal Description of Programming Concepts (II), IFIP TC-2 WorkConf., Garmisch-Partenkirchen, North-Holland (1982).Google Scholar
  8. [Bjorner 85]
    D.Bjorner, T.Denvir, E.Meiling, J.S.Pedersen, The RAISE Project Fundamental Issues and Requirements, RAISE/DDC/EM/1/V6 Dansk Datamatik Center (1985).Google Scholar
  9. [Blikle 83]
    A.Blikle & A.Tarlecki, Naive Denotational Semantics, IFIP'83 (1983).Google Scholar
  10. [CCITT 80]
    C.C.I.T.T., The Specification of CHILL, International Telegraph and Telephone Consultative Committee), Recommendation Z200, Geneva, Switzerland (1980).Google Scholar
  11. [Cohen 83]
    B. Cohen and M.I. Jackson, A Critical Appraisal of Formal Software Development Theories, Methods, and Tools, ESPRIT preparatory study, Standard Telecommunication Laboratory, Harlow, Essex, England (1983).Google Scholar
  12. [Engeler 71]
    E.Engeler (Ed.), Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics Springer Verlag 188 (1971).Google Scholar
  13. [Hansen 85]
    I.O. Hansen & N. Bleech, Meta-IV Tool-set, Functional Specification, DDC 165/RPT/2, Dansk Datamatik Center, Lyngby Denmark (1985).Google Scholar
  14. [Henhapl 70]
    W.Henhapl & C.B.Jones, The Block Structure and some Possible Implementations with Proofs of Equivalence, TR25.104, IBM Laborator Vienna (1970).Google Scholar
  15. [Henhapl 71]
    W. Henhapl & C.B. Jones, A Runtime Mechanism for Referencing Variables, Info. Process.Lett. 1 (1971) pp. 14–16.Google Scholar
  16. [Jones 71]
    C.B.Jones & P.Lucas, Proving Correctness of Implementation Techniques, in: [Engeler71] (1971) pp. 178–201.Google Scholar
  17. [Jones 75]
    C.B.Jones, Yet Another Proof of the Block Concept', LN25.3.075, IBM Laboratory Vienna (1975).Google Scholar
  18. [Jones 78a]
    C.B.Jones, Denotational Semantics of GOTO: an Exit Formulation and its Relation to Continuations, in: [Bjorner78] (1978) pp. 278–304.Google Scholar
  19. [Jones 78b]
    C.B.Jones, The Vienna Development Method: Examples of Compiler Development, in: Le Point sur la Compilation, M.Amirchaby & D.Neel, Eds., Institut de Recherche d'Informatique et d'Automatique, 1978 (1978).Google Scholar
  20. [Jones 86]
    C.B.Jones, Systematic Software Development Using VDM, Prentice/Hall (1986).Google Scholar
  21. [Landin 65]
    P.J. Landin, Correspondence between ALGOL 60 and Church's Lambda Notation, (two parts), Commun. ACM 8 (1965) pp. 89–101 and.Google Scholar
  22. [Lucas 68]
    P.Lucas, Two Constructive Realizations of the Block Concept and their Equivalence, IBM Vienna Lab. TR25.085 (1968).Google Scholar
  23. [Lucas 69]
    P.Lucas & K.Walk, On the Formal Description of PL/I, Ann.Rev.Aut.Progr. 6 (1969).Google Scholar
  24. [Lucas 70]
    P.Lucas, On the Semantics of Programming Languages and Software Devices, in: [Rustin72] (1972).Google Scholar
  25. [Lucas 71]
    P.Lucas, Formal Definition of Programming Languages and Systems, IFIP'71 (1971).Google Scholar
  26. [Lucas 73]
    P.Lucas, On Program Correctness and the Stepwise Development of Implementations, in: Proceedings ‘Convegno di Informatica Teorica', Univ. of Pisa Italy, March 1973 (1973) pp. 219–251.Google Scholar
  27. [Lucas 78]
    P.Lucas, On the Formalization of Programming Languages: Early History and Main Approaches, in: [Bjorner78] (1978).Google Scholar
  28. [Lucas 81]
    P. Lucas, Formal Semantics of Programming Languages: VDL, IBM Journal of Res. & Dev. 25 (1981) pp. 549–561.Google Scholar
  29. [McCarthy 62]
    J.McCarthy, Towards a Mathematical Science of Computation, IFIP'62 (ed. C.M.Popplewell) (1963) pp. 21–28.Google Scholar
  30. [McCarthy 66]
    J.McCarthy, A Formal Description of a Subset of Algol, in: Steel 66a.Google Scholar
  31. [Mosses 82]
    P.D.Mosses, Abstract Semantic Algebras, in: [Bjorner82] (1982).Google Scholar
  32. [Prehn 83]
    S. Prehn, I.O.Hansen, S.U.Palm, P.Gobel, Formal Methods Appraisal, Final Report, year = '1983'/DDC 86/1983-06-24, Dansk Datamatik Center, Lyngby, Denmark.Google Scholar
  33. [Rustin 72]
    R.Rustin (Ed.), Formal Semantics of Programming Languages, Prentice-Hall (1972).Google Scholar
  34. [Scott 70]
    D. Scott, Outline of a Mathematical Theory of Computation, PRG-2, Oxford University Programming Research Group, Oxford, England, 1970. (1970).Google Scholar
  35. [Steel 66]
    T.B.Steel (Ed.), Formal Language Description Languages, IFIP TC-2 Work.Conf., Baden, North-Holland (1966).Google Scholar
  36. [Strachey 66]
    C.Strachey, Towards a Formal Semantics, in: [Steel66] (1966) pp. 198–220.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Peter Lucas
    • 1
  1. 1.IBM Almaden Research CenterSan Jose

Personalised recommendations