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 is missing.