Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.

Alessandro Armando Alan Smaill Ian Green

Published in: ASE (1997)

Keyphrases

program synthesis
proof planning
recursive programs
theorem proving
concept formation
building intelligent
transformation rules
genetic algorithm
logic programs
inductive logic programming
software development
data driven
intelligent agents
desirable properties