On finitely recursive programs

Sabrina Baselice Piero A. Bonatti Giovanni Criscuolo

Published in: CoRR (2009)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
inductive logic programming
case study
data driven
data mining
xml documents