|
94
|
1 |
\begin{thebibliography}{10}
|
|
|
2 |
|
|
|
3 |
\bibitem{Antimirov95}
|
|
|
4 |
V.~Antimirov.
|
|
|
5 |
\newblock {P}artial {D}erivatives of {R}egular {E}xpressions and {F}inite
|
|
|
6 |
{A}utomata {C}onstructions.
|
|
|
7 |
\newblock {\em Theoretical Computer Science}, 155:291--319, 1995.
|
|
|
8 |
|
|
|
9 |
\bibitem{AusafDyckhoffUrban2016}
|
|
|
10 |
F.~Ausaf, R.~Dyckhoff, and C.~Urban.
|
|
|
11 |
\newblock {POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions
|
|
|
12 |
({P}roof {P}earl).
|
|
|
13 |
\newblock In {\em Proc.~of the 7th International Conference on Interactive
|
|
|
14 |
Theorem Proving (ITP)}, volume 9807 of {\em LNCS}, pages 69--86, 2016.
|
|
|
15 |
|
|
|
16 |
\bibitem{Brzozowski1964}
|
|
|
17 |
J.~A. Brzozowski.
|
|
|
18 |
\newblock {D}erivatives of {R}egular {E}xpressions.
|
|
|
19 |
\newblock {\em Journal of the {ACM}}, 11(4):481--494, 1964.
|
|
|
20 |
|
|
|
21 |
\bibitem{Davis18}
|
|
|
22 |
J.~C. Davis, C.~.A. Coghlan, F.~Servant, and D.~Lee.
|
|
|
23 |
\newblock {T}he {I}mpact of {R}egular {E}xpression {D}enial of {S}ervice
|
|
|
24 |
({ReDoS}) in {P}ractice: {A}n {E}mpirical {S}tudy at the {E}cosystem {S}cale.
|
|
|
25 |
\newblock In {\em Proc.~of the 26th ACM Joint Meeting on European Software
|
|
|
26 |
Engineering Conference and Symposium on the Foundations of Software
|
|
|
27 |
Engineering (ESEC/FSE)}, pages 246--256, 2018.
|
|
|
28 |
|
|
|
29 |
\bibitem{CrashCourse2014}
|
|
|
30 |
N.~B.~B. Grathwohl, F.~Henglein, and U.~T. Rasmussen.
|
|
|
31 |
\newblock {A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and
|
|
|
32 |
{R}egular {E}xpressions as {T}ypes.
|
|
|
33 |
\newblock Technical report, University of Copenhagen, 2014.
|
|
|
34 |
|
|
|
35 |
\bibitem{Kuklewicz}
|
|
|
36 |
C.~Kuklewicz.
|
|
|
37 |
\newblock {R}egex {P}osix.
|
|
|
38 |
\newblock \url{https://wiki.haskell.org/Regex_Posix}.
|
|
|
39 |
|
|
|
40 |
\bibitem{nielson11bcre}
|
|
|
41 |
Fritz~Henglein Lasse~Nielsen.
|
|
|
42 |
\newblock Bit-coded regular expression parsing.
|
|
|
43 |
\newblock {\em LATA}, 2011.
|
|
|
44 |
|
|
|
45 |
\bibitem{OkuiSuzuki2010}
|
|
|
46 |
S.~Okui and T.~Suzuki.
|
|
|
47 |
\newblock {D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition
|
|
|
48 |
{A}utomata with {A}ugmented {T}ransitions.
|
|
|
49 |
\newblock In {\em Proc.~of the 15th International Conference on Implementation
|
|
|
50 |
and Application of Automata (CIAA)}, volume 6482 of {\em LNCS}, pages
|
|
|
51 |
231--240, 2010.
|
|
|
52 |
|
|
|
53 |
\bibitem{17Bir}
|
|
|
54 |
Asiri Rathnayake and Hayo Thielecke.
|
|
|
55 |
\newblock Static analysis for regular expression exponential runtime via
|
|
|
56 |
substructural logics.
|
|
|
57 |
\newblock {\em arXiv:1405.7058}, 2017.
|
|
|
58 |
|
|
|
59 |
\bibitem{Sulzmann2014}
|
|
|
60 |
M.~Sulzmann and K.~Lu.
|
|
|
61 |
\newblock {POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives.
|
|
|
62 |
\newblock In {\em Proc.~of the 12th International Conference on Functional and
|
|
|
63 |
Logic Programming (FLOPS)}, volume 8475 of {\em LNCS}, pages 203--220, 2014.
|
|
|
64 |
|
|
|
65 |
\bibitem{Vansummeren2006}
|
|
|
66 |
S.~Vansummeren.
|
|
|
67 |
\newblock {T}ype {I}nference for {U}nique {P}attern {M}atching.
|
|
|
68 |
\newblock {\em ACM Transactions on Programming Languages and Systems},
|
|
|
69 |
28(3):389--428, 2006.
|
|
|
70 |
|
|
|
71 |
\end{thebibliography}
|