作者
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben NS Rowe, Ilya Sergey
发表日期
2021
来源
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I 33
页码范围
110-134
出版商
Springer International Publishing
简介
This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.
引用总数
202220232024231
学术搜索中的文章
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey - … Aided Verification: 33rd International Conference, CAV …, 2021