Coqlex: Generating Formally Verified Lexers.

Wendlasida Ouedraogo Gabriel Scherer Lutz Straßburger

Published in: Art Sci. Eng. Program. (2023)

Keyphrases

databases
machine learning
artificial intelligence
automatically generating
learning algorithm
feature selection
decision trees
multiscale
pattern recognition
information technology
pairwise
medical images