Login / Signup

Certifying the synthesis of heap-manipulating programs.

Yasunari WatanabeKiran GopinathanGeorge PîrleaNadia PolikarpovaIlya 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