equal
deleted
inserted
replaced
13 \usepackage{url} |
13 \usepackage{url} |
14 \usepackage{color} |
14 \usepackage{color} |
15 |
15 |
16 \titlerunning{BLA BLA} |
16 \titlerunning{BLA BLA} |
17 |
17 |
18 |
|
19 \urlstyle{rm} |
18 \urlstyle{rm} |
20 \isabellestyle{it} |
19 \isabellestyle{it} |
21 \renewcommand{\isastyleminor}{\it}% |
20 \renewcommand{\isastyleminor}{\it}% |
22 \renewcommand{\isastyle}{\normalsize\it}% |
21 \renewcommand{\isastyle}{\normalsize\it}% |
23 |
22 |
26 \renewcommand{\isasymequiv}{$\dn$} |
25 \renewcommand{\isasymequiv}{$\dn$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
26 \renewcommand{\isasymemptyset}{$\varnothing$} |
28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
27 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
29 |
28 |
30 \definecolor{mygrey}{rgb}{.80,.80,.80} |
29 \definecolor{mygrey}{rgb}{.80,.80,.80} |
|
30 \def\Brz{Brzozowski} |
|
31 |
31 |
32 |
32 \begin{document} |
33 \begin{document} |
33 |
34 |
34 \title{RegEx} |
35 \title{POSIX {L}exing with {D}erivatives of {R}egular {E}xpressions (Proof Pearl)} |
35 \author{Fahad Ausaf\inst{1} \and Roy Dyckhoff\inst{2} \and Christian Urban\inst{1}} |
36 \author{Fahad Ausaf\inst{1} \and Roy Dyckhoff\inst{2} \and Christian Urban\inst{1}} |
36 \institute{King's College London, United Kingdom \and |
37 \institute{King's College London, United Kingdom \and |
37 St Andrews} |
38 St Andrews} |
38 \maketitle |
39 \maketitle |
39 |
40 |
40 \begin{abstract} |
41 \begin{abstract} |
|
42 \Brz{} introduced the notion of derivatives of regular expressions |
|
43 that can be used for very simple regular expression matching algorithms. |
|
44 |
41 BLA BLA Sulzmann and Lu \cite{Sulzmann2014} |
45 BLA BLA Sulzmann and Lu \cite{Sulzmann2014} |
42 |
46 |
43 {\bf Keywords:} |
47 {\bf Keywords:} |
44 \end{abstract} |
48 \end{abstract} |
45 |
49 |