equal
deleted
inserted
replaced
43 |
43 |
44 \title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
44 \title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
45 \titlerunning{POSIX Lexing with Bitcoded Derivatives} |
45 \titlerunning{POSIX Lexing with Bitcoded Derivatives} |
46 \author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{} |
46 \author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{} |
47 \author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
47 \author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
|
48 \authorrunning{C.~Tan and C.~Urban} |
48 \keywords{POSIX matching, Derivatives of Regular Expressions, Isabelle/HOL} |
49 \keywords{POSIX matching, Derivatives of Regular Expressions, Isabelle/HOL} |
49 \category{} |
50 \category{} |
50 \ccsdesc[100]{Design and analysis of algorithms} |
51 \ccsdesc[100]{Design and analysis of algorithms} |
51 \ccsdesc[100]{Formal languages and automata theory} |
52 \ccsdesc[100]{Formal languages and automata theory} |
52 \Copyright{\mbox{}} |
53 \Copyright{\mbox{}} |