Abstract
When formally defining the semantics of the VDM specification language, the underlying theory of domains must be fixed. Here we construct a domain universe for VDM which is “naive” in the sense that, although it is based on complete partial orders, it does not involve the full complexity of domain theory in the style of Scott.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
Derek Andrews. Report From the BSI Panel for the Standardisation of VDM (IST/5/50). In VDM '88, VDM — The Way Ahead, LNCS 328, VDM-Europe, Springer-Verlag, September 1988.
Marek A. Bednarczyk and Andrzej Borzyszkowski. Cpo's Do Not Form a Cpo — But Recursion Still Works. Technical Report, Polish Academy of Sciences, Institute of Computer Science, December 1989.
Marek A. Bednarczyk and Andrzej Borzyszkowski and Wieslaw Pawlowski. Towards the Semantics of the Definitional Language of MetaSoft. In VDM '90, VDM-Europe, Springer-Verlag, 1990.
Andrzej Blikle and Andrzej Tarlecki. Naive Denotational Semantics. In Information Processing 83, IFIP, North-Holland, 1983.
Paul M. Cohn. Universal Algebra. D. Reidel Publishing Company, Dordrecht, Holland, 1981.
Peter Gorm Larsen. The Dynamic Semantics of the BSI/VDM Specification Language. Technical Report, Department of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, October 1989.
K.G. Larsen and G. Winskel. Using Information Systems to Solve Recursive Domain Equations Effectively. In Semantics of Data Types, Springer-Verlag, 1984.
B.Q. Monahan. A type model for VDM. In VDM '87, LNCS 252, VDM-Europe, Springer-Verlag, March 1987.
G.D. Plotkin. A Powerdomain Construction. Siam Journal on Computing, 5(3), September 1976.
David A. Schmidt. Denotational Semantics. Allyn and Bacon, Inc., Newton, MA, 1986.
D.S. Scott. Continuous Lattices. In Proceedings of the 1971 Dalhousie Conference, Springer-Verlag, 1971.
D.S. Scott. Data Types as Lattices. SIAM Journal on Computing, 5(3), September 1976.
D.S. Scott. Domains for Denotational Semantics. In M. Nielsen and E. M. Schmidt, editors, Automata, Languages and Programming, LNCS 140, Springer-Verlag, July 1982.
Andrzej Tarlecki. Some worries about “The Dynamic Semantics of the BSI/VDM Specification Language”. November 1989. Note prepared for the BSI/VDM review board.
Morten Wieth. Loose Specification and Its Semantics. In Information Processing 89, IFIP, North-Holland, 1989.
Morten Wieth. A Universe of Information Systems for VDM. Technical Report ID-TR 1990-66, Department of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, 1990. Under preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tarlecki, A., Wieth, M. (1990). A naive domain universe for VDM. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_27
Download citation
DOI: https://doi.org/10.1007/3-540-52513-0_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52513-4
Online ISBN: 978-3-540-47006-9
eBook Packages: Springer Book Archive