Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey. Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Volume 12759 of Lecture Notes in Computer Science, pages 110-134, Springer, 2021. [doi]

This author has not been identified. Look up 'Shachar Itzhaky' in GoogleThis author has not been identified. Look up 'Hila Peleg' in GoogleThis author has not been identified. Look up 'Nadia Polikarpova' in GoogleThis author has not been identified. Look up 'Reuben N. S. Rowe' in GoogleThis author has not been identified. Look up 'Ilya Sergey' in Google

runs on WebDSL