Portal de Periódicos da CAPES

Experience with VDM in NORSK DATA

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

10.1007/3-540-17654-3_4

1611-3349

Uwe Schmidt, Reinhard Völler,

Distributed and Parallel Computing Systems

Since 1982 NORSK DATA and the University of Kiel, Germany, have been cooperating in the area of compiler development. During this time a multilanguage multi-target compiler system has been developed using the Vienna Development Method (VDM) and its specification language, META IV A common intermediate language has been derived from the denotational semantic specifications of the source languages and the compiling algorithms have been developed. The formal specifications of the target machines are transformed automatically into executable Pascal programs to implement the code generators. The paper describes the development of the system and the experience gained when using VDM and META IV in an industrial environment. Some ideas for future development of META IV tools are outlined.