POSIX Lexing

swMATH28598MaRDI QIDQ40312FDOQ40312

Author name not available (Why is that?)

Described by source

• POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)

This page was built for software: POSIX Lexing