Display options
Cite
Morgan, C. (1993). The refinement calculus. In Program Design Calculi (pp. 3-52). Springer, Berlin, Heidelberg.
Morgan, Carroll. "The refinement calculus." Program Design Calculi. Springer, Berlin, Heidelberg, 1993. 3-52.
Copy Download .nbib Format: MLA
Share it on
Full text links
View full text

C Morgan - Program Design Calculi, 1993 - Springer

The refinement calculus.

program design

Morgan

GSID: ebbmLvpDVv8J

Excerpt

… That program refines the one above it: in all the cases we've considered, the behaviour of the second program is better, from the client's point … example are refinements beginning with a program that is a single specification and ending with a program that is directly executable by …

Similar articles

Cited by