An algebraic framework for inductive program synthesis.

Klaus P. Jantke

Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)

Keyphrases

program synthesis
main contribution
theoretical framework
inductive logic programming
inductive learning
recursive programs
decision trees
expert systems