C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of Circular Compositional Program Proofs via Abduction.
Boyang Li
Isil Dillig
Thomas Dillig
Kenneth L. McMillan
Mooly Sagiv
Published in:
TACAS (2013)
Keyphrases
</>
program synthesis
computer programs
functional programs
real time
data mining
logic programming
theorem prover
theorem proving
program execution
harmonic functions
object oriented
hough transform
programming environment
formal proofs