Abstract
This paper describes a structuring scheme for the VDM Specification Language. A VDM document may be split into a number of modules which may be parameterised. Modules may import and export constructs. A parameterised module may be instantiated by another module. We define an abstract syntax and give a compositional denotational semantics. Context Conditions are discussed informally, but are not set out in any detail.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
15 References
S P Bear, Structuring for BSI VDM. BSI VDM Working Paper, BSI IST/5/50/53, 1987.
VDM Specification Language Proto-Standard. BSI VDM Working Paper, BSI IST/5/50/40.
C B Jones, Software Development — A Rigorous Approach. Prentice Hall International, 1980.
B Q Monahan, A Semantic Definition of the STC VDM Reference Language. Internal Report STL, Manchester University, 1985. BSI VDM Working Paper, BSI IST/5/50/9.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bear, S. (1988). Structuring for the VDM specification language. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_2
Download citation
DOI: https://doi.org/10.1007/3-540-50214-9_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50214-2
Online ISBN: 978-3-540-45955-2
eBook Packages: Springer Book Archive