Skip to main content
SpringerLink
Log in

VDM: Origins, hopes, and achievements

  • Conference paper
  • First Online:
VDM '87 VDM — A Formal Method at Work (VDM 1987)

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

Included in the following conference series:

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

  1. ANSI X3.53, Programming Language PL/I, Institute/ (New York/American National Standards,.

    Google Scholar 

  2. 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. H.Bekic & K.Walk, Formalization of Storage Properties, in: [Engeler 71] (1971).

    Google Scholar 

  4. H.Bekic, Programming Languages and Their Definition, LNCS, Springer-Verlag 177 (1984).

    Google Scholar 

  5. D.Bjorner & C.B.Jones (Eds.), The Vienna Development Method: The Meta-Language, LNCS, Springer-Verlag 61 (1978).

    Google Scholar 

  6. D.Bjorner (Ed.), Towards a Formal Description of ADA, Springer Verlag 98 (New York, 1980).

    Google Scholar 

  7. D. Bjorner (Ed.), Formal Description of Programming Concepts (II), IFIP TC-2 WorkConf., Garmisch-Partenkirchen, North-Holland (1982).

    Google Scholar 

  8. 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. A.Blikle & A.Tarlecki, Naive Denotational Semantics, IFIP'83 (1983).

    Google Scholar 

  10. C.C.I.T.T., The Specification of CHILL, International Telegraph and Telephone Consultative Committee), Recommendation Z200, Geneva, Switzerland (1980).

    Google Scholar 

  11. 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. E.Engeler (Ed.), Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics Springer Verlag 188 (1971).

    Google Scholar 

  13. I.O. Hansen & N. Bleech, Meta-IV Tool-set, Functional Specification, DDC 165/RPT/2, Dansk Datamatik Center, Lyngby Denmark (1985).

    Google Scholar 

  14. 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. W. Henhapl & C.B. Jones, A Runtime Mechanism for Referencing Variables, Info. Process.Lett. 1 (1971) pp. 14–16.

    Google Scholar 

  16. C.B.Jones & P.Lucas, Proving Correctness of Implementation Techniques, in: [Engeler71] (1971) pp. 178–201.

    Google Scholar 

  17. C.B.Jones, Yet Another Proof of the Block Concept', LN25.3.075, IBM Laboratory Vienna (1975).

    Google Scholar 

  18. C.B.Jones, Denotational Semantics of GOTO: an Exit Formulation and its Relation to Continuations, in: [Bjorner78] (1978) pp. 278–304.

    Google Scholar 

  19. 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. C.B.Jones, Systematic Software Development Using VDM, Prentice/Hall (1986).

    Google Scholar 

  21. 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. P.Lucas, Two Constructive Realizations of the Block Concept and their Equivalence, IBM Vienna Lab. TR25.085 (1968).

    Google Scholar 

  23. P.Lucas & K.Walk, On the Formal Description of PL/I, Ann.Rev.Aut.Progr. 6 (1969).

    Google Scholar 

  24. P.Lucas, On the Semantics of Programming Languages and Software Devices, in: [Rustin72] (1972).

    Google Scholar 

  25. P.Lucas, Formal Definition of Programming Languages and Systems, IFIP'71 (1971).

    Google Scholar 

  26. 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. P.Lucas, On the Formalization of Programming Languages: Early History and Main Approaches, in: [Bjorner78] (1978).

    Google Scholar 

  28. P. Lucas, Formal Semantics of Programming Languages: VDL, IBM Journal of Res. & Dev. 25 (1981) pp. 549–561.

    Google Scholar 

  29. J.McCarthy, Towards a Mathematical Science of Computation, IFIP'62 (ed. C.M.Popplewell) (1963) pp. 21–28.

    Google Scholar 

  30. J.McCarthy, A Formal Description of a Subset of Algol, in: Steel 66a.

    Google Scholar 

  31. P.D.Mosses, Abstract Semantic Algebras, in: [Bjorner82] (1982).

    Google Scholar 

  32. 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. R.Rustin (Ed.), Formal Semantics of Programming Languages, Prentice-Hall (1972).

    Google Scholar 

  34. D. Scott, Outline of a Mathematical Theory of Computation, PRG-2, Oxford University Programming Research Group, Oxford, England, 1970. (1970).

    Google Scholar 

  35. T.B.Steel (Ed.), Formal Language Description Languages, IFIP TC-2 Work.Conf., Baden, North-Holland (1966).

    Google Scholar 

  36. C.Strachey, Towards a Formal Semantics, in: [Steel66] (1966) pp. 198–220.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Almaden Research Center, 650 Harry Road, 95120-6099, San Jose, CA

    Peter Lucas

Authors
  1. Peter Lucas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjørner Cliff B. Jones Mícheál Mac an Airchinnigh Erich J. Neuhold

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lucas, P. (1987). VDM: Origins, hopes, and achievements. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-17654-3_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17654-1

  • Online ISBN: 978-3-540-47740-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation