Login / Signup

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.

Elton M. CardosoMaycon AmaroSamuel da Silva FeitosaLeonardo Vieira dos Santos ReisAndré Rauber Du BoisRodrigo 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