Rewriting Techniques for Program Synthesis.

Published in: RTA (1989)

Keyphrases

program synthesis
rewrite rules
query rewriting
rewriting rules
inductive logic programming
recursive programs
queries using views
constraint satisfaction
conjunctive queries
databases
training data
domain knowledge
text mining