A Parametric Abstract Domain for Lattice-Valued Regular Expressions
Abstract elided by the publisher.
Related papers
- Flix: A Design for Language-Integrated Datalog OOPSLA 2025
- Abstract Interpretation over Non-lattice Abstract Domains SAS 2013
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- Parametric regular path queries PLDI 2004
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Combining MLIR Dialects with Domain-Specific Architecture for Efficient Regular Expression Matching CGO 2025
- A parametric segmentation functor for fully automatic and scalable array content analysis POPL 2011