Cited By
View all- Conrado GKjelstrøm Avan de Pol JPavlogiannis A(2025)Program Analysis via Multiple Context Free Language ReachabilityProceedings of the ACM on Programming Languages10.1145/37048549:POPL(509-538)Online publication date: 9-Jan-2025
- Conrado GPavlogiannis AMonat RRubio-González C(2024)A Better Approximation for Interleaved Dyck ReachabilityProceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis10.1145/3652588.3663318(18-25)Online publication date: 20-Jun-2024
- Xu PLei YSui YXue J(2024)Iterative-Epoch Online Cycle Elimination for Context-Free Language ReachabilityProceedings of the ACM on Programming Languages10.1145/36498628:OOPSLA1(1437-1462)Online publication date: 29-Apr-2024
- Show More Cited By