Skip to main content
SpringerLink
Log in

VDM in three generations of Ada formal descriptions

  • VDM Experience
  • 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:

  • 147 Accesses

Abstract

Since 1980, three different formal descriptions of the Ada programming language have been developed, based on the principles of the Vienna Development Method (VDM). This paper characterizes each of the three descriptions and explains some of the differences.

Ada is a registered trademark of the U.S. Government, Ada Joint Program Office.

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.

References

  1. “Preliminary Ada Reference Manual”, ACM Sigplan Notices, Vol. 14, No. 6 (Part A), June 1979.

    Google Scholar 

  2. U.S. Department of Defense: “Reference Manual for the Ada Programming Language”, Proposed Standard Document, U.S. Department of Defense, July 1980.

    Google Scholar 

  3. U.S. Department of Defense: “Reference Manual for the Ada Programming Language”, ANSI/MIL-STD 1815A, U.S. Department of Defense, January 1983.

    Google Scholar 

  4. E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca: “The Draft Formal Definition of Ada, Generalities on the Underlying Model”, CRAI/University of Genoa, December 1986.

    Google Scholar 

  5. E. Astesiano, C. Bendix Nielsen, A. Fantechi, A. Giovini, E.W. Karlsen, F. Mazzanti, G. Reggio, E. Zucca: “The Draft Formal Definition of Ada, The Dynamic Semantics Definition”, Dansk Datamatik Center/CRAI/IEI/University of Genoa, January 1987.

    Google Scholar 

  6. H. Bekić, D. Bjørner, W. Henhapl, C.B. Jones and P. Lucas: “A Formal Definition of a PL/I Subset”, Parts I and II, Technical Reports TR25.139, IBM Vienna Laboratory, December 1974.

    Google Scholar 

  7. D. Bjørner, C.B. Jones (eds.): “The Vienna Development Method: The Meta-Language”, Springer Verlag, Lecture Notes in Computer Science, Vol. 61, 1978.

    Google Scholar 

  8. D. Bjørner, O.N. Oest (eds.): “Towards a Formal Description of Ada”, Springer Verlag Lecture Notes in Computer Science, Vol. 98, 1980.

    Google Scholar 

  9. D. Bjørner, O.N. Oest: “The DDC Ada Compiler Project”, in [Bjørner et al 80].

    Google Scholar 

  10. N. Botta, J. Storbank Pedersen: “The Draft Formal Definition of Ada, The Static Semantics Definition”, Dansk Datamatik Center, January 1987.

    Google Scholar 

  11. H. Bruun, J. Bundgaard, J. Jørgensen: “Portable Ada Programming System, Ada Static Semantics, Well-formedness Criteria”, Dansk Datamatik Center, March 1982.

    Google Scholar 

  12. J. Bundgaard, L. Schultz: “A (Denotational) Semantics Method for Defining Ada Context Conditions”, in [Bjørner et al 80].

    Google Scholar 

  13. G.B. Clemmensen, H.H. Løvengreen: “Portable Ada Programming System, Dynamic Semantics, Description of Ada Tasking”, Dansk Datamatik Center, November 1981.

    Google Scholar 

  14. O. Dommergaard: “The Design of a Virtual Machine for Ada”, in [Bjørner et al 80].

    Google Scholar 

  15. U.S. Department of Defense: “Formal Definition of the Ada Programming Language”, Preliminary Version for Public Review, U.S. Department of Defense.

    Google Scholar 

  16. P. Folkjær, D. Bjørner: “A Formal Model of A Generalized CSP-like Language”, ID 879, Department of Computer Science, Technical University of Denmark, 1979.

    Google Scholar 

  17. P. Gøbel: “Portable Ada Programming System, Dynamic Semantics, Input-Output Model”, Dansk Datamatik Center, October 1981.

    Google Scholar 

  18. P. Haff, D. Bjørner (eds.): “A Formal Definition of CHILL. A Supplement to the CCITT Recommendation Z.200”, Dansk Datamatik Center, 1980.

    Google Scholar 

  19. P. Haff, A. Olsen: “Use of VDM within the CCITT”, (these proceedings), 1987.

    Google Scholar 

  20. C.A.R. Hoare: “Communicating Sequential Processes”, Comm. of the ACM, Vol. 21, No. 8, August 1978.

    Google Scholar 

  21. INRIA: “Formal Definition of the Ada Programming Language”, Honeywell Inc., CII Honeywell Bull, 1982.

    Google Scholar 

  22. J. Jørgensen: “Portable Ada Programming System, Ada Static Semantics, AS1 → AS2 Transformation”, Dansk Datamatik Center, November 1981.

    Google Scholar 

  23. H.H. Løvengreen: “Parallelism in Ada”, in [Bjørner et al 80].

    Google Scholar 

  24. G. Reggio, P. Inverardi, E. Astesiano, A. Giovini, F. Mazzanti, E. Zucca: “The Draft Formal Definition of Ada, The User Manual of the Meta-Language”, CRAI/IEI/University of Genoa, September 1986.

    Google Scholar 

  25. J. Storbank Pedersen: “A Formal Semantics Definition of Sequential Ada”, in [Bjørner et al 80].

    Google Scholar 

  26. J. Storbank Pedersen, P. Folkjær, I.Ø. Hansen: “Portable Ada Programming System, Dynamic Semantics, Description of Sequential Ada”, Dansk Datamatik Center, March 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dansk Datamatik Center, Lundtoftevej 1 C, DK-2800, Lyngby, Denmark

    Jan Storbank Pedersen

Authors
  1. Jan Storbank Pedersen
    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

Pedersen, J.S. (1987). VDM in three generations of Ada formal descriptions. 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_3

Download citation

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

  • 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