Sciweavers

Share
IJCAI
1989

The Specialization and Transformation of Constructive Existence Proofs

12 years 22 days ago
The Specialization and Transformation of Constructive Existence Proofs
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adapting programs to special situations by transforming constructive synthesis proofs has been reconstructed and is compared with the original implementation [Goad, 1980b, Goad, 1980a]. A brief account of more general proof transformation applications is also presented.
Peter Madden
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1989
Where IJCAI
Authors Peter Madden
Comments (0)
books