Refinement Calculus

From PKC
Revision as of 03:39, 27 January 2023 by Benkoo2 (talk | contribs)
Jump to navigation Jump to search

Refinement Calculus(Q7307205) is a way of refining models of programs into efficient programs. It is a field started by Ralph-Johan Back. His 1978 thesis:On the Correctness of Refinement Steps in Program Development is the seminal paper that grounded this research field.

Retrieved from "https://pkc.pub/index.php?title=Refinement_Calculus&oldid=38060"