A Theory of Program Refinement (1998)

Cached

Download Links

by Ewen W. K. C. Denney
Citations:6 - 1 self

Active Bibliography

1 Requirements for a Program Refinement Engine – David Carrington, David Carrington, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Geoffrey Watson, Geoffrey Watson, Jim Welsh, Jim Welsh - 1995
13 A Tool for Developing Correct Programs By Refinement – D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh - 1996
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
1 Theory for Software Verification – David A. Naumann - 2009
VDM and the Refinement Calculus: a comparison of two systematic design methods – David Carrington, David Carrington - 1993
23 A CSP Approach To Action Systems – Michael J. Butler - 1992
4 Development of Correct Real-Time Systems by Refinement – Michael Schenke - 1997
8 Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus (Extended Abstract) – Samin Ishtiaq, David J. Pym - 1999
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
A Refinement Of Communicating Processes – Sylvie Guy-René Perrin
3 Simply-typed Underdeterminism – Ewen Denney - 1998
3 Specification of a Program Derivation Editor – M. Butler, E. Hedman, P. Nilsson, R. Ruksenas, M. Walden, Y. Zhao - 1994
Tools and Behavioral Abstraction: A Direction for Software Engineering – K. Rustan M. Leino
Intuitionistic Refinement Calculus An extended version of [Bou07a] examplified on the game of Nim – Sylvain Boulmé - 2007
2 Refinement of Fair Action Systems – Ralph J. R. Back, Qiwen. Xu
1 Modular Verification for Shared-Variable Concurrent Programs – Jürgen Dingel - 1996
4 Refinement in Ergo – David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh - 1995
4 A Refinement Calculus For Communicating Processes With State – Luming Lai, Luming Lai, J. W. Sanders - 1995
8 Statement inversion and strongest postcondition – R. J. R. Back, J. Wright - 1993