The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents on: program transformation

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

[Search These Pages] [DAI Home Page] [Comment]