Refinement Calculus

From PKC
Revision as of 04:03, 27 January 2023 by Benkoo2 (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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[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

Refinement Calculus Tutorial

References

  1. ↑ Back,, Ralph-Johan (April 1978). On the Correctness of Refinement Steps in Program Development (Ph.D.). local page: University of Helsinki. 
  2. ↑ Morris, Joseph (Dec 1987). A theoretical basis for stepwise refinement and the programming calculus. local page: Elsevier. 

Related Pages


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