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
C. Blaue, M. Haß: A META IV Subset Compiler Technical Report, Kiel University, April 1990
B. Juhl: Überprüfung der Syntax und statischen Semantik von META IV, Master Thesis, CAU Kiel 1987
U. Schmidt: Ein neuartiger auf VDM basierender Codegenerator-Generator, PhD. Thesis, CAU Kiel 1983
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 1983
VDM Specification Proto-Standard BSI IST/5/50 Document, Leicester, March 1991
M. Haß: Development and Application of a Meta IV Compiler in LNCS 252: VDM '87: VDM — A Formal Method at Work Springer-Verlag, Heidelberg 1987
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blaue, C. (1991). A VDM subset compiler. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_54
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive