Portal de Periódicos da CAPES

The formal definition of modula-2 and its associated interpreter

1988; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-50214-9_15

1611-3349

Derek Andrews, Ayush Garg, Stella Lau, J. R. Pitchers,

Distributed and Parallel Computing Systems

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.