Unifying Program Construction and Modification


We propose a method which integrates program modification to the refinement calculus style of program development. Given a program developed through stepwise refinement of a specification, we propose an approach to specify modifications and to derive a new program from the existing refinement steps. This approach is based on the refinement lattice operator… (More)
DOI: 10.1093/jigpal/6.2.317