The synthesis of programs by analogy

Authors:
Robert Moll;John Wade Ulrich
Affiliations:
Computer and Information Science Department, University of Massachusetts and Hampshire College, Amherst, MA;Computing and Information Sciences Department, University of New Mexico, Albuquerque, NM
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Year:
1979

Citing 3
Cited 0

A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
Program synthesis by analogy

Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The Evolution of Programs: Automatic Program Modification

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Analogical reasoning is the method by which solutions to old problems are adapted to solve new problems. In this paper we illustrate how analogy can be used in a non-trivial problem solving domain. Though we restrict ourselves here to the domain of computer programming, we argue that the principal idea is applicable to a broad class of problem solving situations.