Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: proof transformation
PP153
1992 Paper in Conference Proceedings
Madden,P
Automatic Program Optimization Through Proof Transformation
PP411
1989 Paper in Conference Proceedings
Madden,P
the Specialization and Transformation of Constructive Existence Proofs