Program Synthesis as Dependency Quantified Formula Modulo Theory.

Priyanka Golia Subhajit Roy Kuldeep S. Meel

Published in: IJCAI (2021)

Keyphrases

program synthesis
theoretical framework
databases
high level
object oriented
regression model
universally quantified
recursive programs