{"type":"ScholarlyArticle","title":"Program Derivation Using Analogy","authors":[{"name":"Mehdi T. Harandi","slug":"mehdi-t-harandi","given":"Mehdi T.","family":"Harandi","affiliation":""},{"name":"Sanjay Bhansali","slug":"sanjay-bhansali","given":"Sanjay","family":"Bhansali","affiliation":""}],"abstract":"We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the knowledge base, and the emphasis is on speeding up the derivation of a solution. We describe certain heuristics to find a good source analogue to the target problem efficiently, show how the derivation trace of that program can be used to guide the derivation of the new program","doi":null,"url":"https://ijcai.org/proceedings/1989/62","pdf":"https://ijcai.org/proceedings/1989/0062.pdf","markdown":"https://ijcai.org/proceedings/1989/62.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/62","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":62,"pages":{"first":389,"last":393},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}