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.") |
|||
| (4 intermediate revisions by the same user not shown) | |||
| 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]]<ref>{{:Thesis/On the Correctness of Refinement Steps in Program Development}}</ref> is the seminal paper that grounded this research field. A relevant page on this subject is here:[https://www.southampton.ac.uk/~mbutler/refcalc-tut/home.html Refinement Calculus Home Page]. One should also checkout the paper<ref>{{:Paper/A theoretical basis for stepwise refinement and the programming calculus}}</ref> about stepwise refinement of programs by [[Joseph M. Morris]]. | ||
<noinclude> | |||
=Tutorial Websites= | |||
[https://www.southampton.ac.uk/~mbutler/refcalc-tut/home.html#morgan Refinement Calculus Tutorial] | |||
{{PagePostfix | |||
|category_csd=Formal Method,Refinement Calculus | |||
}} | |||
</noinclude> | |||
Latest revision as of 04:03, 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. One should also checkout the paper[2] about stepwise refinement of programs by Joseph M. Morris.
Tutorial Websites
References
- ↑ Back,, Ralph-Johan (April 1978). On the Correctness of Refinement Steps in Program Development (Ph.D.). local page: University of Helsinki.
- ↑ Morris, Joseph (Dec 1987). A theoretical basis for stepwise refinement and the programming calculus. local page: Elsevier.
Related Pages