60 \newtheorem{conject}{Conjecture} |
60 \newtheorem{conject}{Conjecture} |
61 |
61 |
62 %!\bibliographystyle{plainurl} |
62 %!\bibliographystyle{plainurl} |
63 \bibliographystyle{plain} |
63 \bibliographystyle{plain} |
64 |
64 |
65 \title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
65 %\title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
66 \titlerunning{POSIX Lexing with Bitcoded Derivatives} |
66 %\titlerunning{POSIX Lexing with Bitcoded Derivatives} |
67 \author{Chengsong Tan\inst{1,2} \and Christian Urban\inst{2}} |
67 %\author{Chengsong Tan\inst{1,2} \and Christian Urban\inst{2}} |
68 \institute{Imperial College London \and King's College London\\ |
68 %\institute{Imperial College London \and King's College London\\ |
69 \email{\{chengsong.tan,christian.urban\}@kcl.ac.uk}} |
69 %\email{\{chengsong.tan,christian.urban\}@kcl.ac.uk}} |
70 %!\author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{} |
70 %!\author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{} |
71 %!\author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
71 %!\author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
72 %!\authorrunning{C.~Tan and C.~Urban} |
72 %!\authorrunning{C.~Tan and C.~Urban} |
73 %!\keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} |
73 %!\keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} |
74 %!\category{} |
74 %!\category{} |
75 %!\ccsdesc[100]{Design and analysis of algorithms} |
75 %!\ccsdesc[100]{Design and analysis of algorithms} |
76 %!\ccsdesc[100]{Formal languages and automata theory} |
76 %!\ccsdesc[100]{Formal languages and automata theory} |
77 %!\Copyright{\mbox{}} |
77 %!\Copyright{\mbox{}} |
78 %!\renewcommand{\DOIPrefix}{} |
78 %!\renewcommand{\DOIPrefix}{} |
79 %!\nolinenumbers |
79 %!\nolinenumbers |
|
80 |
|
81 \title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
|
82 \titlerunning{POSIX Lexing with Bitcoded Derivatives} |
|
83 \author{Chengsong Tan}{Imperial College London}{ctan1@ic.ac.uk}{}{} |
|
84 \author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
|
85 \authorrunning{C.~Tan and C.~Urban} |
|
86 \keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} |
|
87 \category{} |
|
88 \ccsdesc[100]{Design and analysis of algorithms} |
|
89 \ccsdesc[100]{Formal languages and automata theory} |
|
90 \Copyright{\mbox{}} |
|
91 \renewcommand{\DOIPrefix}{} |
|
92 \nolinenumbers |
80 |
93 |
81 |
94 |
82 \begin{document} |
95 \begin{document} |
83 \maketitle |
96 \maketitle |
84 |
97 |