Ralph Johan Back Books
Refinement Calculus: A Systematic Introduction
By Ralph Johan Back, Joakim Wright
The authors begin with a presentation of a new foundation for the refinement calculus based on lattice theory and higher order logic, together with a simple theory of program variables. The second...
Read More