Algorithmic program synthesis: introduction.

Rastislav Bodík Barbara Jobstmann

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

program synthesis
recursive programs
inductive logic programming
database
databases
machine learning
artificial intelligence
high level
first order logic
relational learning