TY  - RPRT
TI  - Program Analysis via Multiple Context Free Language Reachability
AU  - Giovanna Kobus Conrado
AU  - Adam Husted Kjelstrøm
AU  - Andreas Pavlogiannis
AU  - Jaco van de Pol
PY  - 2024
UR  - https://arxiv.org/abs/2411.06383
ID  - 2411.06383
ER  -