A naive domain universe for VDM-Reference-Cited by-同舟云学术

A naive domain universe for VDM

Published:1990 Issue: Volume: Page:552-579
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Tarlecki Andrzej,Wieth Morten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52513-0_27.pdf

Reference16 articles.

1. 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.

2. 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.

3. 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.

4. Andrzej Blikle and Andrzej Tarlecki. Naive Denotational Semantics. In Information Processing 83, IFIP, North-Holland, 1983.

5. Paul M. Cohn. Universal Algebra. D. Reidel Publishing Company, Dordrecht, Holland, 1981.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantics of under-determined expressions;Formal Aspects of Computing;1996-01

2. Modules for a model-oriented specification language: A proposal for metasoft;ESOP '92;1992

3. Cpo's do not form a cpo, and yet recursion works;Lecture Notes in Computer Science;1991

4. An approach to the static semantics of VDM-SL;Lecture Notes in Computer Science;1991

5. Tutorial lecture notes on the Irish School of the VDM;Lecture Notes in Computer Science