Login / Signup
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.
Andreea Costea
Amy Zhu
Nadia Polikarpova
Ilya Sergey
Published in:
CoRR (2020)
Keyphrases
</>
recursive programs
program synthesis
control flow
functional programs
high level
application programs
texture synthesis
specification language
automatic programming
knowledge base
logic programs
functional requirements
read write