Types and Invariants in the Refinement Calculus

• 1 January 1992
• book chapter
• Published by Springer Nature
• p. 127-154
• https://doi.org/10.1007/978-1-4471-3273-8_9

Abstract

Keywords

• TREATMENT
• CASTS
• INVARIANTS
• CHECKING
• IMPERATIVE
• GENERALISATIONS
• REFINEMENT CALCULUS
• ILLUSTRATED