Development and application of a META IV compiler

  • Manfred Haß
VDM Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


A method using VDM and its meta language META IV for systematic semi-automated compiler development is outlined. Then the construction of a META IV compiler sophisticated enough to extend that method to a fully automated one is described. After the introduction of a compilable subset of META IV the implementation of fixpoints and implicitly defined sets, maps and tuples will be discussed. Another issue is the question how to manage I/O for a compiled META IV specification. The automatic generation of a compiler for the example language PLO [Wir 77] will show that the new META IV compiler enables automatic transformation of VDM compiler specifications into executable programs.


Abstract Syntax Source Language Static Semantic Runtime System Domain Equation 
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. [BjJ78]
    Bjørner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language LNCS 61, Springer, Berlin 1978Google Scholar
  2. [BjJ82]
    Bjørner, D., Jones, C.B.: Formal Specification and Software Development Prentice-Hall 1982Google Scholar
  3. [BlT83]
    Blikle, A., Tarlecki, A.: Naive Denotational Semantics Information Processing 1983, North Holland 1983Google Scholar
  4. [CaC85]
    CAT Cookbook NORSK DATA GmbH, Mülheim 1985Google Scholar
  5. [Hen80]
    Henderson, P.: Functional Programming, Application and Implementation Prentice-Hall, London 1980Google Scholar
  6. [Juh86]
    Juhl, B.: Überprüfung der Syntax und statischen Semantik von META IV master thesis, Christian-Albrechts-Universität Kiel, 1986Google Scholar
  7. [Rai86]
    Meiling, E. (ed.): Outline of the RAISE Specification Language Dansk Datamatic Center, Lyngby 1986Google Scholar
  8. [Sch83]
    Schmidt, U.: Ein neuartiger auf VDM basierender Codegenerator — Generator dissertation, Christian-Albrechts-Universität Kiel, 1983Google Scholar
  9. [Sco76]
    Scott, D.: Data Types as Lattices SIAM Journal on Computing, volume 5, 1976Google Scholar
  10. [Ten76]
    Tennent, R. D.: The Denotational Semantics of Programming Languages Communications of the ACM, volume 19, 1976Google Scholar
  11. [Völ83]
    Völler, R.: Entwicklung einer maschinenunabhängigen Zwischensprache und zugehöriger Übersetzeroberteile für ein Mehrsprachenübersetzersystem mit Hilfe von VDM dissertation, Christian-Albrechts-Universität Kiel, 1983Google Scholar
  12. [Wir77]
    Wirth, N.: Compilerbau Teubner Studienbuch, Berlin 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Manfred Haß
    • 1
  1. 1.Institut für Informatik und Praktische Mathematik derChristian-Albrechts-Universität zu KielKiel 1

Personalised recommendations