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 |