Program derivation using analogy

Authors:
Mehdi T. Harandi;Sanjay Bhansali
Affiliations:
Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign;Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Year:
1989

Citing 4
Cited 2

The Programmer's Apprentice: A Session with KBEmacs

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Learning by understanding analogies

Artificial Intelligence
Learning and reasoning by analogy

Communications of the ACM
The Evolution of Programs

The Evolution of Programs

Synthesizing UNIX shell scripts using derivational analogy: an empirical assessment

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Statistical mechanics of combat with human factors

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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.