Experience with VDM in NORSK DATA

  • Uwe Schmidt
  • Reinhard Völler
VDM Experience
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


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.


Abstract Syntax Source Language Static Semantic Syntax Tree Concrete Syntax 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BjJ82]
    Bjørner. D., Jones, C.B.: Formal Specification and Software Development, Prentice-Hall, 1982Google Scholar
  2. [Cat78]
    Cattell, R.G.G.: Formalization and Automatic Derivation of Code Generators, CMU-CS-78-115, Carnegie Mellon University, Pittsburg, 1978Google Scholar
  3. [Con58]
    Conway, M.E.: Proposal for an UNCOL, CACM 1, 10 (Oct. 1958)Google Scholar
  4. [Gla78]
    Glanville, R.S.: A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers, PhD Thesis, University of California, Berkley, 1978Google Scholar
  5. [Haß87]
    Haß, M.: Development and Application of a META IV Compiler, these proceedingsGoogle Scholar
  6. [KeR78]
    Kernighan, B.W., Ritchie, D.M.: The C Programming Language, Prentice-Hall, 1978Google Scholar
  7. [Sch83]
    Schmidt, U.: Ein neuartiger, auf VDM basierender Codegenerator-Generator, PhD Thesis, Christian-albrechts-Universität, Kiel, 1983Google Scholar
  8. [ScV81]
    Schmidt, U., Völler, R.: Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT, in: GI — 11. Jahrestagung, Informatik-Fachberichte 50, Springer, Berlin, 1981Google Scholar
  9. [ScV83]
    Schmidt, U., Völler, R.: The Development of a Machine Independent Multi Language Compiler System Applying the Vienna Development Method, in: Proc. IFIP Working Conference on Software Specification Methodologies, North-Holland, Amsterdam, 1985Google Scholar
  10. [ScV84]
    Schmidt, U., Völler, R.: A Multi Language Compiler System with Automatically Generated Codegenerators, in: ACM SIGPLAN Notices Vol. 19, No. 6, June 1984Google Scholar
  11. [Sto82]
    Stoy, J.: Formal Specification Meta-Language: Mathematical Foundations, in: [BjJ82]Google Scholar
  12. [Völ83]
    Völler, R.: Entwicklung einer maschinenunabhängigen Zwischensprache und zugehöriger Übersetzeroberteile für ein Mehrsprachübersetzersystem mit Hilfe von VDM, PhD Thesis, Christian-Albrechts-Universität, Kiel, 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Uwe Schmidt
    • 1
  • Reinhard Völler
    • 1
  1. 1.Norsk Data GmbHKiel 1

Personalised recommendations