Program Synthesis Using Dual Interpretation.

Ashish Tiwari Adrià Gascón Bruno Dutertre

Published in: CADE (2015)

Keyphrases

program synthesis
recursive programs
high dimensional
general purpose
inductive logic programming
semantic interpretation
high level
semi supervised
multi task
image interpretation