Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Ratings by cpressey of Refinement Calculus works
Programming from Specifications
- rating: 1
a Practical Theory of Programming
- rating: TODO
Refinement Calculus: A Systematic Introduction
- rating: TODO
Can Programming Be Liberated from the von Neumann Style?
- rating: classic
Algorithmics
- rating: 3
Laws of Programming
- rating: 3
Algebraic Identities for Program Calculation
- rating: 3
The specification statement
- rating: classic
Correctness Preserving Program Refinements
- rating: 0
Refinement Calculus
- rating: 3
The Retrenchment Homepage
- rating: 1