{"type":"ScholarlyArticle","title":"The Specialization and Transformation of Constructive Existence Proofs","authors":[{"name":"Peter Madden","slug":"peter-madden","given":"Peter","family":"Madden","affiliation":""}],"abstract":"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 orig,inal implementation [Goad, 1980b, Goad, 1980a]. A brief account of more general proof transformation applications is also presented.","doi":null,"url":"https://ijcai.org/proceedings/1989/66","pdf":"https://ijcai.org/proceedings/1989/0066.pdf","markdown":"https://ijcai.org/proceedings/1989/66.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/66","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Deduction","track":"Automated Deduction","number":66,"pages":{"first":413,"last":417},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}