Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Bjørner. D., Jones, C.B.: Formal Specification and Software Development, Prentice-Hall, 1982
Cattell, R.G.G.: Formalization and Automatic Derivation of Code Generators, CMU-CS-78-115, Carnegie Mellon University, Pittsburg, 1978
Conway, M.E.: Proposal for an UNCOL, CACM 1, 10 (Oct. 1958)
Glanville, R.S.: A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers, PhD Thesis, University of California, Berkley, 1978
Haß, M.: Development and Application of a META IV Compiler, these proceedings
Kernighan, B.W., Ritchie, D.M.: The C Programming Language, Prentice-Hall, 1978
Schmidt, U.: Ein neuartiger, auf VDM basierender Codegenerator-Generator, PhD Thesis, Christian-albrechts-Universität, Kiel, 1983
Schmidt, U., Völler, R.: Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT, in: GI — 11. Jahrestagung, Informatik-Fachberichte 50, Springer, Berlin, 1981
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, 1985
Schmidt, U., Völler, R.: A Multi Language Compiler System with Automatically Generated Codegenerators, in: ACM SIGPLAN Notices Vol. 19, No. 6, June 1984
Stoy, J.: Formal Specification Meta-Language: Mathematical Foundations, in: [BjJ82]
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, 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmidt, U., Völler, R. (1987). Experience with VDM in NORSK DATA. 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_4
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_4
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