Searching for "On Correct Refinement of Programs." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Interpreting Nondeterminism in the Refinement Calculus
- … also consider the notion of correctness and refinement of program statements that this intuitive…
- Cited by 1 (0 self) – Add To MetaCart
-
A Unifying Model for Specification and Design
- … refinement preserving total correctness of refined programs. The refinement is simply defined as follows: a…
- Cited by 2 (2 self) – Add To MetaCart
-
The TAMPR Program Transformation System: Design and Applications
- … that TAMPR transformations preserve the correctness of (refine) the programs to which they apply. 1…
- Cited by 7 (0 self) – Add To MetaCart
-
Data Refinement of Remote Procedures
- … refinement, atomicity refinement TUCS Research Group Programming Methodology Research Group 1 Introduction…
- Cited by 9 (5 self) – Add To MetaCart
-
Data Refinement of Remote Procedures
- … rules for reasoning about the correctness and refinement of programs with remote procedures. We base our…
- Add To MetaCart
-
Transformation Techniques in Pei
- … as a reverse engineering method to prove the correctness of refined programs since the most abstract…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
