gsvgit
commented
6 years ago - Conjunctive languages are useful for static code analysis: Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability
- It is possible to support conjunction in parser-combinators for linear input.
- code
- paper in Ru
- Is it possible to support conjunction in parser combinators for graphs? The precise solution is impossible, so it is necessary to guarantee overapproximation.