On Finitely Recursive Programs.

Sabrina Baselice Piero A. Bonatti Giovanni Criscuolo

Published in: ICLP (2007)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
prior knowledge
databases
software engineering
response time
multi dimensional
inductive logic programming