Program synthesis by model finding.

Alexandre Mota Juliano Iyoda Heitor Maranhão

Published in: Inf. Process. Lett. (2016)

Keyphrases

program synthesis
computational model
learning algorithm
conceptual model
machine learning
artificial intelligence
information extraction
software engineering
general purpose
mathematical model
statistical model