Giovanna Kobus Conrado Adam Husted Kjelstrøm Jaco van de Pol Andreas Pavlogiannis Program Analysis via Multiple Context Free Language Reachability. 509-538 2025 9 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3704854 db/journals/pacmpl/pacmpl9.html#ConradoKPP25 streams/journals/pacmpl