Preview
Unable to display preview. Download preview PDF.
References
JCT1/SC22/WG13. Draft Proposal DP 10514; Third Working Draft Modula-2 Standard.
BSI IST/5/-/50. VDM Specification Language: Proto-Standard. March 1991.
U. Kastens, B. Hutt, E. Zimmermann. GAG: A Practical Compiler Generator. Lecture Notes in Computer Science no. 141, Springer Verlag, Berlin, 1982.
D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127–145, 1968. Errata: 5:95–96, 1971.
Jan Eivind Langsæter. DIAS — An Interface-Generator for abstract syntaxes. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, March 1991.
Nico Plat. Towards a VDM-SL Compiler. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, December 1988.
Nico Plat, Hans Toetenel. Tool support for VDM. Technical Report 89-81, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, November 1989.
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel. Type checking BSI/VDM-SL. In VDM and Z; proc. of the 3rd VDM-Europe Symposium, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plat, N., Pronk, K., Verhoef, M. (1991). The Delft VDM-SL front-end. 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_45
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_45
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