Static Analysis for Regular Expression Exponential Runtime via Substructural Logics.
Asiri RathnayakeHayo ThieleckePublished in: CoRR (2014)
Keyphrases
- static analysis
- regular expressions
- propositional calculus
- dynamic analysis
- pattern matching
- query language
- expressive power
- semistructured data
- finite automata
- xml schema
- symbolic execution
- deterministic finite automata
- java card
- modal logic
- string matching
- regular path queries
- query evaluation
- source code
- test generation
- abstract interpretation
- semi automatic
- cost model
- database
- path expressions
- training data
- data mining