BRNGLR-based conjunctive-grammar-constrained path querying

[gsvgit]

Graph parsing may be used for static program analysis. More expressive languages, rather than CF may be required for some analysis.

• Upgrade RNGLR-based path querying algorithm (paper) to BRNGLR-based one.
  • Try to reuse common structures (for example, SPPF) from GLL.
• Implement conjunctive grammars support: LR Parsing for Conjunctive Grammars.
• Create tests. Be careful! Your solution should be an overapproximation.
• Reproduce evaluation from Context-sensitive data-dependence analysis via linear conjunctive language reachability

[kajigor]

Тут есть ссылки на статьи