Searching for authors named "Peter Madden" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
The Specialization and Transformation of Constructive Existence Proofs
- …The Specialization and Transformation of Constructive Existence Proofs Peter Madden Department…
- Cited by 3 (1 self) – Add To MetaCart
-
The Specialization of Constructive Existence Proofs
- …The Specialization of Constructive Existence Proofs Peter Madden October 22, 1993 Abstract…
- Add To MetaCart
-
A summary for the application to the 1988 Alvey
- … for the application to the 1988 Alvey Conference. Peter Madden August 13, 1992 We investigate program optimization…
- Add To MetaCart
-
Recursive Program Optimization Through Inductive Synthesis Proof Transformation
- …Recursive Program Optimization Through Inductive Synthesis Proof Transformation Peter Madden Max…
- Add To MetaCart
Showing 1 through 4.
