Lean Formalization of Extended Regular Expression Matching with Lookarounds.
Ekaterina ZhuchkoMargus VeanesGabriel EbnerPublished in: CPP (2024)
Keyphrases
- regular expressions
- pattern matching
- approximate matching
- matching algorithm
- string matching
- finite automata
- approximate string matching
- query language
- record linkage
- deterministic finite automata
- knowledge representation
- xml schema
- static analysis
- edit distance
- regular path queries
- cost model
- semistructured data
- databases
- graph matching
- low level
- data model
- query processing
- knowledge base