Login / Signup
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.
Elton M. Cardoso
Maycon Amaro
Samuel da Silva Feitosa
Leonardo Vieira dos Santos Reis
André Rauber Du Bois
Rodrigo Geraldo Ribeiro
Published in:
CLEI Electron. J. (2021)
Keyphrases
</>
regular expressions
pattern matching
query language
finite automata
database
natural language
regular languages
databases
data analysis
building blocks
conceptual model
context free grammars
regular path queries