Forward Simulation for Data Refinement of Classes-Reference-Cited by-同舟云学术

Forward Simulation for Data Refinement of Classes

Published:2002 Issue: Volume: Page:471-490
ISSN:0302-9743
Container-title:FME 2002:Formal Methods—Getting IT Right
language:
Short-container-title:

Author:

Cavalcanti Ana,Naumann David A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45614-7_27

Reference36 articles.

1. Martín Abadi and K. Rustan M. Leino. A logic of object-oriented programs. In Proceedings, TAPSOFT 1997. Springer-Verlag, 1997. Expanded in DEC SRC report 161.

2. Ser. A;R. J. R. Back,1987

3. R. J. R. Back and J. Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag, 1998.

4. Anindya Banerjee and David Naumann. Representation independence, confinement and access control. In POPL2002, pages 166–177, 2001.

5. Martin Büchi and Wolfgang Weck. The greybox approach: When blackbox specifications hide too much. Technical Report 297, Turku Center for Computer Science, August 1999. http://www.abo.fi/~mbuechi/publications/TR297.html .

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

1. Verified secure compilation for mixed-sensitivity concurrent programs;Journal of Functional Programming;2021

2. Extending Operation Semantics to Enhance the Applicability of Formal Refinement;Specification, Algebra, and Software;2014

3. State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings;Lecture Notes in Computer Science;2013

4. Pre-post notation is questionable in effectively specifying operations of object-oriented systems;Frontiers of Computer Science in China;2011-05-07

5. Modular Reasoning in Object-Oriented Programming;Verified Software: Theories, Tools, Experiments;2008