The automatic synthesis of recursive programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The evolution of programs: a system for automatic program modification
The evolution of programs: a system for automatic program modification
Mathematical Theory of Computation
Mathematical Theory of Computation
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
The evolution of programs: Program abstraction and instantiation
ICSE '81 Proceedings of the 5th international conference on Software engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
The synthesis of programs by analogy
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.01 |
By extending a given analogy, a known program which solves a given problem is converted to a program which solves a different but analogous problem. The domains of the two problems need not be the same but they must be related by an initial specified analogy. There are three features which distinguish the approach. First the analogy formation evolves gradually with the synthesis of the new program. Secondly the formation of the analogy is directed by the correctness proof of the known program. Finally the output of the synthesis process produces a correctness proof for the synthesized program.