Login / Signup
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).
Shachar Itzhaky
Hila Peleg
Nadia Polikarpova
Reuben N. S. Rowe
Ilya Sergey
Published in:
CAV (1) (2021)
Keyphrases
</>
invited paper
functional programs
lessons learned
real world
object oriented
logic programs
open issues
database languages
database systems
key issues
program synthesis
functional language
artificial intelligence
information systems