Automatic program synthesis via synthesis of loop-free segments.

Published in: MARK (1979)

Keyphrases

program synthesis
recursive programs
fully automatic
inductive logic programming
software engineering
semi automatic
high level
data model
co occurrence
query optimization