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

@@ 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]]. 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.
+{{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>