Verbatim: A Verified Lexer Generator.

Derek Egolf Sam Lasser Kathleen Fisher

Published in: SP Workshops (2021)

Keyphrases

database
artificial intelligence
knowledge base
databases
genetic algorithm
decision making
lower bound
cellular automata
pseudorandom