A Verified Operational Semantics for Regular Expression Parsing.
Elton Maximo CardosoLeonardo Vieira dos Santos ReisRodrigo Geraldo RibeiroPublished in: SBLP (2023)
Keyphrases
- operational semantics
- regular expressions
- pattern matching
- context free grammars
- formal semantics
- data model
- query language
- finite automata
- semistructured data
- mental states
- xml schema
- deterministic finite automata
- agent programming
- denotational semantics
- natural language processing
- natural language
- database
- query evaluation
- matching algorithm
- string matching
- grammatical inference
- database systems
- autonomous agents
- information retrieval