Constructive System for Automatic Program Synthesis.

Didier Galmiche

Published in: Theor. Comput. Sci. (1990)

Keyphrases

program synthesis
inductive logic programming
database
machine learning
recursive programs
databases
semi automatic
fully automatic
semi supervised
logic programming