RP654 | 1993 Research Paper | Basin,D; Bundy,A; Kraan,I; Matthews,S |
---|---|---|
A Framework for Program Development Based on Schematic Proof | ||
PP235 | 1992 Paper in Conference Proceedings | Bundy,A; Hesketh,J; Smaill,AD |
Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones |