Type checking BSI/VDM-SL
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 399-425
- https://doi.org/10.1007/3-540-52513-0_21
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The Synthesizer GeneratorPublished by Springer Nature ,1989
- A type model for VDMPublished by Springer Nature ,1987
- The synthesizer generatorPublished by Association for Computing Machinery (ACM) ,1984
- Efficient implementation of the Ada overloading rulesInformation Processing Letters, 1980
- Ordered attributed grammarsActa Informatica, 1980
- The intrinsically exponential complexity of the circularity problem for attribute grammarsCommunications of the ACM, 1975
- Semantics of context-free languagesTheory of Computing Systems, 1968