Fusion of recursive programs with computational effects.

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

Keyphrases

recursive programs
program synthesis
transformation rules
logic programs
data model
information extraction
query optimization