Ideas for connecting inductive program synthesis and bidirectionalization.

Janis Voigtländer

Published in: PEPM (2012)

Keyphrases

program synthesis
recursive programs
inductive logic programming
inductive learning
artificial intelligence
machine learning
cellular automata
background knowledge
information extraction
software engineering
general purpose