Difference between revisions of "Refinement Calculus"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key=Refinement Calculus|qCode=7307205}} is a way of refining models of programs into efficient programs. It is a field started by Ralph-Johan Back.") |
|||
| Line 1: | Line 1: | ||
{{WikiEntry|key=Refinement Calculus|qCode=7307205}} is a way of refining models of programs into efficient programs. It is a field started by [[Ralph-Johan Back]]. | {{WikiEntry|key=Refinement Calculus|qCode=7307205}} is a way of refining models of programs into efficient programs. It is a field started by [[Ralph-Johan Back]]. His 1978 thesis:[[Thesis/On the Correctness of Refinement Steps in Program Development|On the Correctness of Refinement Steps in Program Development]] is the seminal paper that grounded this research field. | ||
Revision as of 03:39, 27 January 2023
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.