A Coq Mechanization of JavaScript Regular Expression Semantics.
Noé De SantoAurèle BarrièreClément Pit-ClaudelPublished in: CoRR (2024)
Keyphrases
- regular expressions
- pattern matching
- query language
- finite automata
- semistructured data
- open source
- logic programming
- web applications
- xml schema
- website
- static analysis
- matching algorithm
- cost model
- deterministic finite automata
- regular path queries
- query evaluation
- string matching
- sparql queries
- query containment
- conceptual model
- theorem prover
- logic programs
- approximate matching
- semistructured databases
- formal methods
- domain knowledge
- data model