Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
I Muravev - arxiv preprint arxiv:2401.11029, 2024 - arxiv.org
Various static analysis problems are reformulated as instances of the Context-Free
Language Reachability (CFL-r) problem. One promising way to make solving CFL-r more …
Language Reachability (CFL-r) problem. One promising way to make solving CFL-r more …