Advertisement

The formal definition of modula-2 and its associated interpreter

  • D. J. Andrews
  • A. Garg
  • S. P. A. Lau
  • J. R. Pitchers
Applications And Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 328)

Abstract

A three year research project is currently being undertaken at Leicester University, The National Physical Laboratory (NPL) and The British Standards Institution (BSI). The project aims to produce a formal definition of the syntax and semantics of the programming language Modula-2, written in VDM Meta IV, together with a rigorously verified interpreter derived directly from the definition. In the process of producing a good quality document of the formal definition of Modula-2, two by-products will also be developed and applied. They are a VDM structure editor and an environment to generate IATEX files from the VDM structure editor.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    D.J. Andrews. The Formal Definition of Modula-2, The Department of Computing Studies, Leicester University, Leicester, June 1988.Google Scholar
  2. 2.
    Anjula Garg. Design and Implementation of Abstract Data Types, The Department of Computing Studies, Leicester University, Leicester, June 1988.Google Scholar
  3. 3.
    Anjula Garg. Type Model for the Translation of the Definition of Modula-2 from VDM to Standard Pascal, The Department of Computing Studies, Leicester University, Leicester, June 1988.Google Scholar
  4. 4.
    J.R. Pitchers. The VDM Structure Editor V0.2n, The Department of Computing Studies, Leicester University, Leicester, May 1988.Google Scholar
  5. 5.
    D. Notkin. The Gandalf Project. The Journal of Systems and Software, 5(2):91–105, May 1985.Google Scholar
  6. 6.
    B.J. Staudt, C.W. Krueger, A.N. Habermann and V. Ambriola. The Gandalf System Reference Manuals. Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa. 15213, May 1986.Google Scholar
  7. 7.
    Leslie Lamport. A Document Preparation System, User's Guide and Reference Manual. Addison-Wesley, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • D. J. Andrews
    • 1
  • A. Garg
    • 1
  • S. P. A. Lau
    • 1
  • J. R. Pitchers
    • 1
  1. 1.Department of Computing StudiesUniversity of LeicesterLeicesterUK

Personalised recommendations