## 4. Algorithm Refinement

The source code and proof output obtained for the source code found in section **4. Algorithm Refinement** of the paper "Software Refinement with Perfect Developer".

- AlgorithmRefinement.pd: A selection of functions that demonstrate a sort specification and its subsequent algorithm refinement to an insertion sort algorithm
- Proof Output: Proofs from Source Code file
- Unproven Output: Details of the unproven obligations

http://www.cs.nuim.ie/toolap/pd/RefinementPD/Algorithm.html - Updated 27/06/2005