A naive domain universe for VDM
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 552-579
- https://doi.org/10.1007/3-540-52513-0_27
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Towards the semantics of the definitional language of MetaSoftLecture Notes in Computer Science, 1990
- Report from the BSI panel for the standardisation of VDM (IST/5/50)Lecture Notes in Computer Science, 1988
- A type model for VDMPublished by Springer Nature ,1987
- Using information systems to solve reoursive domain equations effectivelyLecture Notes in Computer Science, 1984
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Universal AlgebraPublished by Springer Nature ,1981
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976