Advertisement

A VDM subset compiler

  • Christoph Blaue
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

Abstract

The VDM-compiler is able to process a subset of the VDM specification language as described in the BSI Proto Standard [PS91]. The compilation includes parsing, check of context conditions and code generation. The target language is an intermediate tree language [SC83, VO83] for which different code generation modules exist. Thus the VDM-compiler can produce code for various machines.

References

  1. [BL90]
    C. Blaue, M. Haß: A META IV Subset Compiler Technical Report, Kiel University, April 1990Google Scholar
  2. [JU86]
    B. Juhl: Überprüfung der Syntax und statischen Semantik von META IV, Master Thesis, CAU Kiel 1987Google Scholar
  3. [SC83]
    U. Schmidt: Ein neuartiger auf VDM basierender Codegenerator-Generator, PhD. Thesis, CAU Kiel 1983Google Scholar
  4. [VO83]
    R. Völler: Entwicklung einer maschinenunabhängigen Zwischensprache und zugehöriger Übersetzeroberteile für ein Mehrsprachenübersetzersystem mit Hilfe von VDM, PhD. Thesis, CAU Kiel 1983Google Scholar
  5. [PS91]
    VDM Specification Proto-Standard BSI IST/5/50 Document, Leicester, March 1991Google Scholar
  6. [Ha87]
    M. Haß: Development and Application of a Meta IV Compiler in LNCS 252: VDM '87: VDM — A Formal Method at Work Springer-Verlag, Heidelberg 1987Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Christoph Blaue
    • 1
  1. 1.Christian-Albrechts-Universität zu KielKiel

Personalised recommendations