Refinement Calculus Papers

Can Programming Be Liberated from the von Neumann Style?

• subtitle: A Functional Style and Its Algebra of Programs
• authors: John Backus
• date: August 1978
• publication: Communications of the ACM
• online @ dl.acm.org

.

Algorithmics

• subtitle: Towards programming as a mathematical activity
• authors: Lambert Merteens
• date: 1986
• publication: CWI Monographs (North-Holland Publishing Co., Amsterdam)
• online @ ir.cwi.nl
• online @ www.kestrel.edu

.

Laws of Programming

• authors: C. A. R. Hoare et al.
• date: 1987
• publication: Communications of the ACM, August 1987, Vol. 30 No. 8
• online @ ox.ac.uk

.

Algebraic Identities for Program Calculation

• authors: Richard Bird
• date: 1989
• publication: The Computer Journal
• online @ academic.oup.com

.

The specification statement

• authors: Carroll Morgan
• date: 1988
• publication: ACM Transactions on Programming Languages and Systems
• online @ dl.acm.org

.

Correctness Preserving Program Refinements

• subtitle: proof theory and applications
• authors: Ralph-John Back
• date: 1980
• online @ ir.cwl.nl
• format: tract, phd-thesis

.

Program Derivation by Correctness Enhancements

• authors: Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
• date: 2016
• url: https://arxiv.org/abs/1606.02020

.