POSIX Lexing

MaRDI QIDQ40312swMATHFDO

Authors Fahad Ausaf, Roy Dyckhoff, Christian Urban

Publication date 24 May 2016

Official website https://www.isa-afp.org/entries/Posix-Lexing.html

Cites work

• Derivatives of Regular Expressions
• Disambiguation in regular expression matching via position automata with augmented transitions
• POSIX regular expression parsing with derivatives

Described by source

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

Cited in

(4)

• AmiCo
• Regular Sets
• Hereditarily Finite Sets
• Finite Automata HF

This page was built for software: POSIX Lexing