1 paper · 1 filter
Adam Husted Kjelstrøm, Andreas Pavlogiannis
Dyck reachability is the standard formulation of a large domain of static analyses, as it achieves the sweet spot between precision and efficiency, and has thus been studied extens…