Skip to main content
SpringerLink
Log in

Development and application of a META IV compiler

  • VDM Environments
  • Conference paper
  • First Online:
Book cover VDM '87 VDM — A Formal Method at Work (VDM 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 252))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bjørner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language LNCS 61, Springer, Berlin 1978

    Google Scholar 

  2. Bjørner, D., Jones, C.B.: Formal Specification and Software Development Prentice-Hall 1982

    Google Scholar 

  3. Blikle, A., Tarlecki, A.: Naive Denotational Semantics Information Processing 1983, North Holland 1983

    Google Scholar 

  4. CAT Cookbook NORSK DATA GmbH, Mülheim 1985

    Google Scholar 

  5. Henderson, P.: Functional Programming, Application and Implementation Prentice-Hall, London 1980

    Google Scholar 

  6. Juhl, B.: Überprüfung der Syntax und statischen Semantik von META IV master thesis, Christian-Albrechts-Universität Kiel, 1986

    Google Scholar 

  7. Meiling, E. (ed.): Outline of the RAISE Specification Language Dansk Datamatic Center, Lyngby 1986

    Google Scholar 

  8. Schmidt, U.: Ein neuartiger auf VDM basierender Codegenerator — Generator dissertation, Christian-Albrechts-Universität Kiel, 1983

    Google Scholar 

  9. Scott, D.: Data Types as Lattices SIAM Journal on Computing, volume 5, 1976

    Google Scholar 

  10. Tennent, R. D.: The Denotational Semantics of Programming Languages Communications of the ACM, volume 19, 1976

    Google Scholar 

  11. 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, 1983

    Google Scholar 

  12. Wirth, N.: Compilerbau Teubner Studienbuch, Berlin 1977

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik und Praktische Mathematik der, Christian-Albrechts-Universität zu Kiel, Olshausenstr. 40 – 60, D-2300, Kiel 1

    Manfred Haß

Authors
  1. Manfred Haß
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjørner Cliff B. Jones Mícheál Mac an Airchinnigh Erich J. Neuhold

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haß, M. (1987). Development and application of a META IV compiler. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-17654-3_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17654-1

  • Online ISBN: 978-3-540-47740-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation