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


Publication Details:
Book: Procs of the 11th International Conference on Automated Deduction
Editors:Kapur, D.
Book#: 3-540-55602-8
Publisher:Springer-Verlag, New York
Volume:11607
Pages: 446-460

Paper in Conference Proceedings #153

Title:Automatic Program Optimization Through Proof Transformation
Authors:Madden,P
Date: 1992
Presented:
Keywords:synthesis proofs, proof transformation








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