Login / Signup
Synthesis of circular compositional program proofs via abduction.
Isil Dillig
Thomas Dillig
Boyang Li
Kenneth L. McMillan
Mooly Sagiv
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
natural language
program synthesis
functional programs
computer programs
machine learning
hough transform
theorem proving
microstrip antenna
harmonic functions
texture synthesis
logic programming
theorem prover
video sequences
website
artificial intelligence
learning algorithm
equational theories
real time