git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Refinement Calculus
master

Tree @master (Download .tar.gz)

Refinement Calculus

(Up) | Wikipedia: Refinement calculus | See also: Logic, Formal Specification, Theorem Proving

Web resources

Refinement Calculus ★★★

The Retrenchment Homepage ★

(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) 💭

History of by-topic / Refinement Calculus @master git clone https://git.catseye.tc/The-Glosscubator/