Login / Signup
Structuring the Synthesis of Heap-Manipulating Programs.
Nadia Polikarpova
Ilya Sergey
Published in:
CoRR (2018)
Keyphrases
</>
functional programs
data structure
provably correct
image processing
information technology
search engine
website
decision trees
multi agent
object oriented
fixpoint
automatic programming
java programs
control program
prolog programs