Verbatim++: verified, optimized, and semantically rich lexing with derivatives.

Egolf, Derek.

Lasser, Sam.

Fisher, Kathleen.

2022

open in viewer
Description
  • Keywords: Brzozowski derivatives, formal verification, lexical analysis, semantic actions.

    Topic: Security and privacy / Formal methods and theory of security / Logic and verification

    Topic: Theory of computation / Formal languages and automata theory / Regular languages

    Topic: Software and its engineering / Software notations and tools / Compilers / Parsers

    ACM ... read more
This object is in collection Permanent URL Citation
  • Derek Egolf, Sam Lasser, and Kathleen Fisher. "Verbatim++: verified, optimized, and semantically rich lexing with derivatives." Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022
ID:
8g84n2697
To Cite:
TARC Citation Guide    EndNote
Usage:
Detailed Rights
Rights Note:
This work is licensed under a Creative Commons Attribution International 4.0 License.
DOI:
10.1145/3497775.3503694