CFL Reachability Components

Advanced CFL reachability algorithms and graph analysis frameworks.

CSIndex (Context-Sensitive Indexing)

Context-sensitive indexing for CFL reachability.

Location: lib/CFL/CSIndex/

Features: Context-aware indexing algorithms for efficient CFL queries.

Components: * Context-sensitive graph indexing * Reachability query optimization * Memory-efficient representations

Interprocedural Dyck graph reduction algorithms.

Location: lib/CFL/InterDyckGraphReduce/

Features: Interprocedural analysis with graph reduction techniques for Dyck languages.

Mutual refinement algorithms for CFL analysis.

Location: lib/CFL/MutualRefinement/

Features: Bidirectional refinement techniques for improving analysis precision.