The formal definition of modula-2 and its associated interpreter
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.
Unable to display preview. Download preview PDF.
- 1.D.J. Andrews. The Formal Definition of Modula-2, The Department of Computing Studies, Leicester University, Leicester, June 1988.Google Scholar
- 2.Anjula Garg. Design and Implementation of Abstract Data Types, The Department of Computing Studies, Leicester University, Leicester, June 1988.Google Scholar
- 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.J.R. Pitchers. The VDM Structure Editor V0.2n, The Department of Computing Studies, Leicester University, Leicester, May 1988.Google Scholar
- 5.D. Notkin. The Gandalf Project. The Journal of Systems and Software, 5(2):91–105, May 1985.Google Scholar
- 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.Leslie Lamport. A Document Preparation System, User's Guide and Reference Manual. Addison-Wesley, 1986.Google Scholar