Heuristics for program synthesis using loop invariants.

Published in: ACM Annual Conference (2) (1978)

Keyphrases

program synthesis
inductive logic programming
search algorithm
affine invariant
moment invariants
recursive programs
machine learning
information retrieval
semi supervised