research
∙
06/21/2023
Coqlex: Generating Formally Verified Lexers
A compiler consists of a sequence of phases going from lexical analysis ...
research
∙
12/02/2020