Coqlex: Generating Formally Verified Lexers.

Wendlasida Ouedraogo Gabriel Scherer Lutz Straßburger

Published in: CoRR (2023)

Keyphrases

information extraction
databases
generation process
optimal solution
automatically generating
information retrieval systems
domain knowledge
artificial neural networks
information technology
pattern recognition
real time
high quality
decision trees
web pages
social networks
real world
data sets