Towards certified virtual machine-based regular expression parsing.
Thales Antônio DelfinoRodrigo Geraldo RibeiroPublished in: SBLP (2018)
Keyphrases
- virtual machine
- regular expressions
- pattern matching
- context free grammars
- operating system
- finite automata
- data center
- xml schema
- semistructured data
- query language
- virtual memory
- regular path queries
- multi tasking
- cost model
- cloud computing environment
- string matching
- natural language processing
- natural language
- query evaluation
- static analysis
- deterministic finite automata
- matching algorithm
- data sets
- semistructured databases
- java virtual machine
- intermediate representation
- domain knowledge
- high level