Difference between revisions of "Refinement Calculus"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
<noinclude> | <noinclude> | ||
=Tutorial Websites= | |||
[https://www.southampton.ac.uk/~mbutler/refcalc-tut/home.html#morgan Refinement Calculus Tutorial] | |||
{{PagePostfix | {{PagePostfix | ||
|category_csd=Formal Method,Refinement Calculus | |category_csd=Formal Method,Refinement Calculus | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Revision as of 04:01, 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[1] is the seminal paper that grounded this research field. A relevant page on this subject is here:Refinement Calculus Home Page
Tutorial Websites
References
- ↑ Back,, Ralph-Johan (April 1978). On the Correctness of Refinement Steps in Program Development (Ph.D.). local page: University of Helsinki.
Related Pages