README.md @master — view markup · raw · history · blame
Refinement Calculus
(Up) | See also: Logic, Formal Specification, Theorem Proving
Web resources
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)