edge-closure

Here is 1 public repository matching this topic...

AFaraji8 / Grammar-based-Labeled-Edge-Closure

Efficient C++ implementation of Grammar-based Labeled Edge Closure (CFL-Reachability). Features a worklist-based algorithm for graph saturation and static analysis applications.

cpp static-analysis graph-theory context-free-grammar cfl-reachability edge-closure

Updated Feb 26, 2026
C++

Add this topic to your repo

To associate your repository with the edge-closure topic, visit your repo's landing page and select "manage topics."

Learn more