Generalizing specific-instance interpolation proofs with SyGuS.

Muqsit Azeem Kumar Madhukar R. Venkatesh

Published in: ICSE (NIER) (2018)

Keyphrases

domain specific
website
specific features
real time
data sets
real world
relational databases
theorem prover
theorem proving