Refinement Calculus
(Up) | See also: Logic, Formal Specification, Theorem Proving
Web resources
(in Relational Programming) A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! ★★★
Papers
Can Programming Be Liberated from the von Neumann Style? (online @ dl.acm.org) 🏛️ 💭
Algorithmics (online @ ir.cwi.nl, www.kestrel.edu) ★★★ 💭
Laws of Programming (online @ ox.ac.uk) ★★★ 💭
Algebraic Identities for Program Calculation (online @ academic.oup.com) ★★★ 💭
The specification statement (online @ dl.acm.org) 🏛️
Correctness Preserving Program Refinements (online @ ir.cwl.nl)
Program Derivation by Correctness Enhancements
Books
Programming from Specifications (online @ www.cs.ox.ac.uk) ★ 💭
a Practical Theory of Programming (online @ www.cs.toronto.edu)
Refinement Calculus: A Systematic Introduction (online @ lara.epfl.ch) 💭