Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)

From MaRDI portal
Publication:832157

DOI10.1007/978-3-030-81685-8_5zbMath1493.68053OpenAlexW3183258024MaRDI QIDQ832157

Reuben N. S. Rowe, Nadia Polikarpova, Ilya Sergey, Hila Peleg, Shachar Itzhaky

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81685-8_5




Uses Software


Cites Work