---
title: "Program Derivation Using Analogy"
authors:
  - "Mehdi T. Harandi"
  - "Sanjay Bhansali"
doi: ""
url: "https://ijcai.org/proceedings/1989/62"
pdf: "https://ijcai.org/proceedings/1989/0062.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "389-393"
track: "Automated Deduction"
keywords:
---

# Program Derivation Using Analogy

Mehdi T. Harandi, Sanjay Bhansali

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 389-393.

## 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