Advertisement

VDM in three generations of Ada formal descriptions

  • Jan Storbank Pedersen
VDM Experience
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)

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.

Keywords

Formal Description Abstract Syntax Static Semantic Dynamic Semantic Program Text 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ada 79]
    “Preliminary Ada Reference Manual”, ACM Sigplan Notices, Vol. 14, No. 6 (Part A), June 1979.Google Scholar
  2. [Ada 80]
    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. [Ada 83]
    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. [Astesiano et al 86]
    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. [Astesiano et al 87]
    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. [Bekić et al 74]
    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. [Bjørner et al 78]
    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. [Bjørner et al 80]
    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. [Bjørner et al 80a]
    D. Bjørner, O.N. Oest: “The DDC Ada Compiler Project”, in [Bjørner et al 80].Google Scholar
  10. [Botta et al 87]
    N. Botta, J. Storbank Pedersen: “The Draft Formal Definition of Ada, The Static Semantics Definition”, Dansk Datamatik Center, January 1987.Google Scholar
  11. [Bruun et al 82]
    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. [Bundgaard et al 80]
    J. Bundgaard, L. Schultz: “A (Denotational) Semantics Method for Defining Ada Context Conditions”, in [Bjørner et al 80].Google Scholar
  13. [Clemmensen et al 81]
    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. [Dommergaard 80]
    O. Dommergaard: “The Design of a Virtual Machine for Ada”, in [Bjørner et al 80].Google Scholar
  15. [DoD 80]
    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. [Folkjær et al 79]
    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. [Gøbel 81]
    P. Gøbel: “Portable Ada Programming System, Dynamic Semantics, Input-Output Model”, Dansk Datamatik Center, October 1981.Google Scholar
  18. [Haff et al 80]
    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. [Haff et al 87]
    P. Haff, A. Olsen: “Use of VDM within the CCITT”, (these proceedings), 1987.Google Scholar
  20. [Hoare 78]
    C.A.R. Hoare: “Communicating Sequential Processes”, Comm. of the ACM, Vol. 21, No. 8, August 1978.Google Scholar
  21. [INRIA 82]
    INRIA: “Formal Definition of the Ada Programming Language”, Honeywell Inc., CII Honeywell Bull, 1982.Google Scholar
  22. [Jørgensen 81]
    J. Jørgensen: “Portable Ada Programming System, Ada Static Semantics, AS1 → AS2 Transformation”, Dansk Datamatik Center, November 1981.Google Scholar
  23. [Løvengreen 80]
    H.H. Løvengreen: “Parallelism in Ada”, in [Bjørner et al 80].Google Scholar
  24. [Reggio et al 1986]
    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. [Storbank 80]
    J. Storbank Pedersen: “A Formal Semantics Definition of Sequential Ada”, in [Bjørner et al 80].Google Scholar
  26. [Storbank et al 82]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Jan Storbank Pedersen
    • 1
  1. 1.Dansk Datamatik CenterLyngbyDenmark

Personalised recommendations