A Better Approximation for Interleaved Dyck Reachability

Giovanna Kobus Conrado, Andreas Pavlogiannis. A Better Approximation for Interleaved Dyck Reachability. In Raphaël Monat, Cindy Rubio-González, editors, Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024. pages 18-25, ACM, 2024. [doi]

Abstract

Abstract is missing.