An approach to the static semantics of VDM-SL
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 220-253
- https://doi.org/10.1007/3-540-54834-3_15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A record calculus based on symmetric concatenationPublished by Association for Computing Machinery (ACM) ,1991
- An approach to the static semantics of VDM-SLPublished by Springer Nature ,1991
- A naive domain universe for VDMPublished by Springer Nature ,1990
- Towards the semantics of the definitional language of MetaSoftLecture Notes in Computer Science, 1990
- Type checking BSI/VDM-SLPublished by Springer Nature ,1990
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978