On the Refinement Calculus
Carroll Morgan‚ Ken Robinson and Paul Gardiner
Abstract
The refinement calculus is a notation and set of rules for deriving programs from their specifications. It is distinguished from earlier methods (though based on them) because the derivations are carried out within a single “programming” language: there is no separate language of specifications.
Institution
OUCL
Month
October
Number
PRG70
Pages
156
Year
1988