Login / Signup
Certifying the synthesis of heap-manipulating programs.
Yasunari Watanabe
Kiran Gopinathan
George Pîrlea
Nadia Polikarpova
Ilya Sergey
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
functional programs
data structure
program synthesis
real time
neural network
automatic programming
social networks
computer vision
decision trees
computer programs