|
21
|
A CSP Approach To Action Systems
– Michael J. Butler
- 1992
|
|
19
|
Exploring Summation and Product Operators in the Refinement Calculus
– R. J. R. Back, M. J. Butler
- 1994
|
|
2
|
Event Ordering in Action Systems
– Michael Butler, Michael Butler
- 1998
|
|
27
|
An Approach to the Design of Distributed Systems with B AMN (Extended Version)
– Michael Butler
- 1996
|
|
16
|
Stepwise Refinement of Communicating Systems
– Michael Butler
- 1994
|
|
11
|
A Tool for Data Refinement
– Rimvydas Ruksenas, et al.
- 1997
|
|
54
|
Refinement Calculus, Part I: Sequential Nondeterministic Programs
– R. J. R. Back, J. von Wright
- 1989
|
|
8
|
Calculational Derivation of Pointer Algorithms from Tree Operations
– Michael Butler
- 1998
|
|
39
|
A Study of The Fragile Base Class Problem
– Leonid Mikhajlov, Emil Sekerinski
- 1998
|
|
7
|
A Relational Basis for Program Construction by Parts
– Marc Frappier
- 1995
|
|
11
|
Retrenchment: Extending the Reach of Refinement
– M. R. Poppleton , R. H. Banach
|
|
20
|
Procedures and Invariants in the Refinement Calculus
– Trevor Vickers, Carroll Morgan
- 1994
|
|
1
|
Tanaka,H.: Definite Clause Knowledge Representation and its Applications
– Stefan Hallerstede, Stefan Hallerstede
- 2001
|
|
4
|
Data refinement, call by value, and higher order programs. unpublished draft
– David A. Naumann
- 1995
|
|
|
Theorem Proving in Higher Order Logics
– Victor A. Carreño, César A. Muñoz, Sofiène Tahar
- 2002
|
|
1
|
Interpreting Nondeterminism in the Refinement Calculus
– Ralph-johan Back, Joakim Von Wright
- 1996
|
|
1
|
Ensuring Correctness of Java Frameworks: A Formal Look at JCF
– Anna Mikhajlova, Emil Sekerinski, Turku Centre, Computer Science
- 1999
|
|
15
|
An Object-Oriented Refinement Calculus with Modular Reasoning
– Mark Utting
- 1992
|
|
5
|
Class Refinement as Semantics of Correct Subclassing
– Ralph Back, Anna Mikhajlova, Joakim Von Wright
- 1997
|
