An approach to the static semantics of VDM-SL-Reference-Cited by-同舟云学术

An approach to the static semantics of VDM-SL

Published:1991 Issue: Volume: Page:220-253
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bruun Hans,Hansen Bo Stig,Damm Flemming

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54834-3_15.pdf

Reference12 articles.

1. Samson Abramsky and Chris Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood Series in Computers and Their Applications. Ellis Horwood Limited, 1987.

2. Marek Bednarczyk, Andrzej M. Borzyszkowski, and Wiesław Pawłowski. Towards the semantics of the definitional language of MetaSoft. In VDM '90, VDM and Z— Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 477–503. VDM-Europe, Springer-Verlag, 1990.

3. Dines Bjørner and Cliff B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. Springer-Verlag, 1978.

4. Hans Bruun, Bo Stig Hansen, and Flemming Damm. An approach to the static semantics of VDM-SL. Technical Report 1991-90, Department of Computer Science, The Technical University of Denmark, 1991.

5. Flemming Damm, Bo Stig Hansen, and Hans Bruun. Type checking in VDM and related consistency issues. This volume.

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

1. Co-modelling of Faults and Fault Tolerance Mechanisms;Collaborative Design for Embedded Systems;2014

2. Methods for Creating Co-models of Embedded Systems;Collaborative Design for Embedded Systems;2014

3. Case Studies in Co-modelling and Co-simulation;Collaborative Design for Embedded Systems;2014

4. Co-model Structuring and Design Patterns;Collaborative Design for Embedded Systems;2014

5. Support for Co-modelling and Co-simulation: The Crescendo Tool;Collaborative Design for Embedded Systems;2014