Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.

Andreea Costea Amy Zhu Nadia Polikarpova Ilya Sergey

Published in: ESOP (2020)

Keyphrases

recursive programs
program synthesis
functional programs
control flow
application programs
neural network
logic programs
texture synthesis
programming environment
delay insensitive
concise representation
specification language
fixpoint
database
formal specification
answer sets
case study
website
real time