|
1 %% This BibTeX bibliography file was created using BibDesk. |
|
2 %% https://bibdesk.sourceforge.io/ |
|
3 |
|
4 %% Created for CS TAN at 2019-06-26 12:42:11 +0100 |
|
5 |
|
6 |
|
7 %% Saved with string encoding Unicode (UTF-8) |
|
8 |
|
9 |
|
10 |
|
11 @url{SE16, |
|
12 Author = {StackStatus}, |
|
13 Date-Added = {2019-06-26 11:28:41 +0000}, |
|
14 Date-Modified = {2019-06-26 11:42:11 +0000}, |
|
15 Keywords = {ReDos Attack}, |
|
16 Month = {07}, |
|
17 Rating = {5}, |
|
18 Read = {1}, |
|
19 Title = {Stack Overflow Outage Postmortem}, |
|
20 Url = {https://stackstatus.net/post/147710624694/outage-postmortem-july-20-2016}, |
|
21 Urldate = {2016.7.20}, |
|
22 Year = {2016}, |
|
23 Bdsk-Url-1 = {https://stackstatus.net/post/147710624694/outage-postmortem-july-20-2016}} |
|
24 |
1 @article{HosoyaVouillonPierce2005, |
25 @article{HosoyaVouillonPierce2005, |
2 author = {H.~Hosoya and J.~Vouillon and B.~C.~Pierce}, |
26 Author = {H.~Hosoya and J.~Vouillon and B.~C.~Pierce}, |
3 title = {{R}egular {E}xpression {T}ypes for {XML}}, |
27 Journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, |
4 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, |
28 Number = 1, |
5 year = {2005}, |
29 Pages = {46--90}, |
6 volume = 27, |
30 Title = {{R}egular {E}xpression {T}ypes for {XML}}, |
7 number = 1, |
31 Volume = 27, |
8 pages = {46--90} |
32 Year = {2005}} |
9 } |
33 |
10 |
34 @misc{POSIX, |
11 |
35 Note = {\url{http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap09.html}}, |
12 @Misc{POSIX, |
36 Title = {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition}, |
13 title = {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition}, |
37 Year = {2004}} |
14 year = {2004}, |
38 |
15 note = {\url{http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap09.html}} |
39 @inproceedings{AusafDyckhoffUrban2016, |
16 } |
40 Author = {F.~Ausaf and R.~Dyckhoff and C.~Urban}, |
17 |
41 Booktitle = {Proc.~of the 7th International Conference on Interactive Theorem Proving (ITP)}, |
18 |
42 Pages = {69--86}, |
19 @InProceedings{AusafDyckhoffUrban2016, |
43 Series = {LNCS}, |
20 author = {F.~Ausaf and R.~Dyckhoff and C.~Urban}, |
44 Title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl)}, |
21 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl)}, |
45 Volume = {9807}, |
22 year = {2016}, |
46 Year = {2016}} |
23 booktitle = {Proc.~of the 7th International Conference on Interactive Theorem Proving (ITP)}, |
|
24 volume = {9807}, |
|
25 series = {LNCS}, |
|
26 pages = {69--86} |
|
27 } |
|
28 |
47 |
29 @article{aduAFP16, |
48 @article{aduAFP16, |
30 author = {F.~Ausaf and R.~Dyckhoff and C.~Urban}, |
49 Author = {F.~Ausaf and R.~Dyckhoff and C.~Urban}, |
31 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions}, |
50 Issn = {2150-914x}, |
32 journal = {Archive of Formal Proofs}, |
51 Journal = {Archive of Formal Proofs}, |
33 year = 2016, |
52 Note = {\url{http://www.isa-afp.org/entries/Posix-Lexing.shtml}, Formal proof development}, |
34 note = {\url{http://www.isa-afp.org/entries/Posix-Lexing.shtml}, Formal proof development}, |
53 Title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions}, |
35 ISSN = {2150-914x} |
54 Year = 2016} |
36 } |
55 |
37 |
56 @techreport{CrashCourse2014, |
38 |
57 Annote = {draft report}, |
39 @TechReport{CrashCourse2014, |
58 Author = {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen}, |
40 author = {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen}, |
59 Institution = {University of Copenhagen}, |
41 title = {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular |
60 Title = {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular {E}xpressions as {T}ypes}, |
42 {E}xpressions as {T}ypes}, |
61 Year = {2014}} |
43 institution = {University of Copenhagen}, |
|
44 year = {2014}, |
|
45 annote = {draft report} |
|
46 } |
|
47 |
62 |
48 @inproceedings{Sulzmann2014, |
63 @inproceedings{Sulzmann2014, |
49 author = {M.~Sulzmann and K.~Lu}, |
64 Author = {M.~Sulzmann and K.~Lu}, |
50 title = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives}, |
65 Booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)}, |
51 booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)}, |
66 Pages = {203--220}, |
52 pages = {203--220}, |
67 Series = {LNCS}, |
53 year = {2014}, |
68 Title = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives}, |
54 volume = {8475}, |
69 Volume = {8475}, |
55 series = {LNCS} |
70 Year = {2014}} |
56 } |
|
57 |
71 |
58 @inproceedings{Sulzmann2014b, |
72 @inproceedings{Sulzmann2014b, |
59 author = {M.~Sulzmann and P.~van Steenhoven}, |
73 Author = {M.~Sulzmann and P.~van Steenhoven}, |
60 title = {{A} {F}lexible and {E}fficient {ML} {L}exer {T}ool {B}ased on {E}xtended {R}egular |
74 Booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)}, |
61 {E}xpression {S}ubmatching}, |
75 Pages = {174--191}, |
62 booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)}, |
76 Series = {LNCS}, |
63 pages = {174--191}, |
77 Title = {{A} {F}lexible and {E}fficient {ML} {L}exer {T}ool {B}ased on {E}xtended {R}egular {E}xpression {S}ubmatching}, |
64 year = {2014}, |
78 Volume = {8409}, |
65 volume = {8409}, |
79 Year = {2014}} |
66 series = {LNCS} |
|
67 } |
|
68 |
80 |
69 @book{Pierce2015, |
81 @book{Pierce2015, |
70 author = {B.~C.~Pierce and C.~Casinghino and M.~Gaboardi and |
82 Author = {B.~C.~Pierce and C.~Casinghino and M.~Gaboardi and M.~Greenberg and C.~Hri\c{t}cu and V.~Sj\"{o}berg and B.~Yorgey}, |
71 M.~Greenberg and C.~Hri\c{t}cu and |
83 Note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}}, |
72 V.~Sj\"{o}berg and B.~Yorgey}, |
84 Publisher = {Electronic textbook}, |
73 title = {{S}oftware {F}oundations}, |
85 Title = {{S}oftware {F}oundations}, |
74 year = {2015}, |
86 Year = {2015}} |
75 publisher = {Electronic textbook}, |
87 |
76 note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}} |
88 @misc{Kuklewicz, |
77 } |
89 Author = {C.~Kuklewicz}, |
78 |
90 Howpublished = {\url{https://wiki.haskell.org/Regex_Posix}}, |
79 @Misc{Kuklewicz, |
91 Title = {{R}egex {P}osix}} |
80 author = {C.~Kuklewicz}, |
|
81 title = {{R}egex {P}osix}, |
|
82 howpublished = "\url{https://wiki.haskell.org/Regex_Posix}" |
|
83 } |
|
84 |
92 |
85 @article{Vansummeren2006, |
93 @article{Vansummeren2006, |
86 author = {S.~Vansummeren}, |
94 Author = {S.~Vansummeren}, |
87 title = {{T}ype {I}nference for {U}nique {P}attern {M}atching}, |
95 Journal = {ACM Transactions on Programming Languages and Systems}, |
88 year = {2006}, |
96 Number = {3}, |
89 journal = {ACM Transactions on Programming Languages and Systems}, |
97 Pages = {389--428}, |
90 volume = {28}, |
98 Title = {{T}ype {I}nference for {U}nique {P}attern {M}atching}, |
91 number = {3}, |
99 Volume = {28}, |
92 pages = {389--428} |
100 Year = {2006}} |
93 } |
101 |
94 |
102 @inproceedings{Asperti12, |
95 @InProceedings{Asperti12, |
103 Author = {A.~Asperti}, |
96 author = {A.~Asperti}, |
104 Booktitle = {Proc.~of the 3rd International Conference on Interactive Theorem Proving (ITP)}, |
97 title = {{A} {C}ompact {P}roof of {D}ecidability for {R}egular {E}xpression {E}quivalence}, |
105 Pages = {283--298}, |
98 booktitle = {Proc.~of the 3rd International Conference on Interactive Theorem Proving (ITP)}, |
106 Series = {LNCS}, |
99 pages = {283--298}, |
107 Title = {{A} {C}ompact {P}roof of {D}ecidability for {R}egular {E}xpression {E}quivalence}, |
100 year = {2012}, |
108 Volume = {7406}, |
101 volume = {7406}, |
109 Year = {2012}} |
102 series = {LNCS} |
|
103 } |
|
104 |
110 |
105 @inproceedings{Frisch2004, |
111 @inproceedings{Frisch2004, |
106 author = {A.~Frisch and L.~Cardelli}, |
112 Author = {A.~Frisch and L.~Cardelli}, |
107 title = {{G}reedy {R}egular {E}xpression {M}atching}, |
113 Booktitle = {Proc.~of the 31st International Conference on Automata, Languages and Programming (ICALP)}, |
108 booktitle = {Proc.~of the 31st International Conference on Automata, Languages and Programming (ICALP)}, |
114 Pages = {618--629}, |
109 pages = {618--629}, |
115 Series = {LNCS}, |
110 year = {2004}, |
116 Title = {{G}reedy {R}egular {E}xpression {M}atching}, |
111 volume = {3142}, |
117 Volume = {3142}, |
112 series = {LNCS} |
118 Year = {2004}} |
113 } |
119 |
114 |
120 @article{Antimirov95, |
115 @ARTICLE{Antimirov95, |
121 Author = {V.~Antimirov}, |
116 author = {V.~Antimirov}, |
122 Journal = {Theoretical Computer Science}, |
117 title = {{P}artial {D}erivatives of {R}egular {E}xpressions and |
123 Pages = {291--319}, |
118 {F}inite {A}utomata {C}onstructions}, |
124 Title = {{P}artial {D}erivatives of {R}egular {E}xpressions and {F}inite {A}utomata {C}onstructions}, |
119 journal = {Theoretical Computer Science}, |
125 Volume = {155}, |
120 year = {1995}, |
126 Year = {1995}} |
121 volume = {155}, |
|
122 pages = {291--319} |
|
123 } |
|
124 |
127 |
125 @inproceedings{Nipkow98, |
128 @inproceedings{Nipkow98, |
126 author={T.~Nipkow}, |
129 Author = {T.~Nipkow}, |
127 title={{V}erified {L}exical {A}nalysis}, |
130 Booktitle = {Proc.~of the 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs)}, |
128 booktitle={Proc.~of the 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs)}, |
131 Pages = {1--15}, |
129 series={LNCS}, |
132 Series = {LNCS}, |
130 volume=1479, |
133 Title = {{V}erified {L}exical {A}nalysis}, |
131 pages={1--15}, |
134 Volume = 1479, |
132 year=1998 |
135 Year = 1998} |
133 } |
|
134 |
136 |
135 @article{Brzozowski1964, |
137 @article{Brzozowski1964, |
136 author = {J.~A.~Brzozowski}, |
138 Author = {J.~A.~Brzozowski}, |
137 title = {{D}erivatives of {R}egular {E}xpressions}, |
139 Journal = {Journal of the {ACM}}, |
138 journal = {Journal of the {ACM}}, |
140 Number = {4}, |
139 volume = {11}, |
141 Pages = {481--494}, |
140 number = {4}, |
142 Title = {{D}erivatives of {R}egular {E}xpressions}, |
141 pages = {481--494}, |
143 Volume = {11}, |
142 year = {1964} |
144 Year = {1964}} |
143 } |
|
144 |
145 |
145 @article{Leroy2009, |
146 @article{Leroy2009, |
146 author = {X.~Leroy}, |
147 Author = {X.~Leroy}, |
147 title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler}, |
148 Journal = {Communications of the ACM}, |
148 journal = {Communications of the ACM}, |
149 Number = 7, |
149 year = 2009, |
150 Pages = {107--115}, |
150 volume = 52, |
151 Title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler}, |
151 number = 7, |
152 Volume = 52, |
152 pages = {107--115} |
153 Year = 2009} |
153 } |
154 |
154 |
155 @inproceedings{Paulson2015, |
155 @InProceedings{Paulson2015, |
156 Author = {L.~C.~Paulson}, |
156 author = {L.~C.~Paulson}, |
157 Booktitle = {Proc.~of the 25th International Conference on Automated Deduction (CADE)}, |
157 title = {{A} {F}ormalisation of {F}inite {A}utomata {U}sing {H}ereditarily {F}inite {S}ets}, |
158 Pages = {231--245}, |
158 booktitle = {Proc.~of the 25th International Conference on Automated Deduction (CADE)}, |
159 Series = {LNAI}, |
159 pages = {231--245}, |
160 Title = {{A} {F}ormalisation of {F}inite {A}utomata {U}sing {H}ereditarily {F}inite {S}ets}, |
160 year = {2015}, |
161 Volume = {9195}, |
161 volume = {9195}, |
162 Year = {2015}} |
162 series = {LNAI} |
163 |
163 } |
164 @article{Wu2014, |
164 |
165 Author = {C.~Wu and X.~Zhang and C.~Urban}, |
165 @Article{Wu2014, |
166 Journal = {Journal of Automatic Reasoning}, |
166 author = {C.~Wu and X.~Zhang and C.~Urban}, |
167 Number = {4}, |
167 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
168 Pages = {451--480}, |
168 journal = {Journal of Automatic Reasoning}, |
169 Title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
169 year = {2014}, |
170 Volume = {52}, |
170 volume = {52}, |
171 Year = {2014}} |
171 number = {4}, |
172 |
172 pages = {451--480} |
173 @inproceedings{Regehr2011, |
173 } |
174 Author = {X.~Yang and Y.~Chen and E.~Eide and J.~Regehr}, |
174 |
175 Booktitle = {Proc.~of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}, |
175 @InProceedings{Regehr2011, |
176 Pages = {283--294}, |
176 author = {X.~Yang and Y.~Chen and E.~Eide and J.~Regehr}, |
177 Title = {{F}inding and {U}nderstanding {B}ugs in {C} {C}ompilers}, |
177 title = {{F}inding and {U}nderstanding {B}ugs in {C} {C}ompilers}, |
178 Year = {2011}} |
178 pages = {283--294}, |
179 |
179 year = {2011}, |
180 @article{Norrish2014, |
180 booktitle = {Proc.~of the 32nd ACM SIGPLAN Conference on Programming Language Design and |
181 Author = {A.~Barthwal and M.~Norrish}, |
181 Implementation (PLDI)} |
182 Journal = {Journal of Computer and System Sciences}, |
182 } |
183 Number = {2}, |
183 |
184 Pages = {346--362}, |
184 @Article{Norrish2014, |
185 Title = {{A} {M}echanisation of {S}ome {C}ontext-{F}ree {L}anguage {T}heory in {HOL4}}, |
185 author = {A.~Barthwal and M.~Norrish}, |
186 Volume = {80}, |
186 title = {{A} {M}echanisation of {S}ome {C}ontext-{F}ree {L}anguage {T}heory in {HOL4}}, |
187 Year = {2014}} |
187 journal = {Journal of Computer and System Sciences}, |
188 |
188 year = {2014}, |
189 @article{Thompson1968, |
189 volume = {80}, |
190 Author = {K.~Thompson}, |
190 number = {2}, |
191 Issue_Date = {June 1968}, |
191 pages = {346--362} |
192 Journal = {Communications of the ACM}, |
192 } |
193 Number = {6}, |
193 |
194 Pages = {419--422}, |
194 @Article{Thompson1968, |
195 Title = {{P}rogramming {T}echniques: {R}egular {E}xpression {S}earch {A}lgorithm}, |
195 author = {K.~Thompson}, |
196 Volume = {11}, |
196 title = {{P}rogramming {T}echniques: {R}egular {E}xpression {S}earch {A}lgorithm}, |
197 Year = {1968}} |
197 journal = {Communications of the ACM}, |
|
198 issue_date = {June 1968}, |
|
199 volume = {11}, |
|
200 number = {6}, |
|
201 year = {1968}, |
|
202 pages = {419--422} |
|
203 } |
|
204 |
198 |
205 @article{Owens2009, |
199 @article{Owens2009, |
206 author = {S.~Owens and J.~H.~Reppy and A.~Turon}, |
200 Author = {S.~Owens and J.~H.~Reppy and A.~Turon}, |
207 title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined}, |
201 Journal = {Journal of Functinal Programming}, |
208 journal = {Journal of Functinal Programming}, |
202 Number = {2}, |
209 volume = {19}, |
203 Pages = {173--190}, |
210 number = {2}, |
204 Title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined}, |
211 pages = {173--190}, |
205 Volume = {19}, |
212 year = {2009} |
206 Year = {2009}} |
213 } |
|
214 |
207 |
215 @inproceedings{Sulzmann2015, |
208 @inproceedings{Sulzmann2015, |
216 author = {M.~Sulzmann and P.~Thiemann}, |
209 Author = {M.~Sulzmann and P.~Thiemann}, |
217 title = {{D}erivatives for {R}egular {S}huffle {E}xpressions}, |
210 Booktitle = {Proc.~of the 9th International Conference on Language and Automata Theory and Applications (LATA)}, |
218 booktitle = {Proc.~of the 9th International Conference on Language and Automata Theory |
211 Pages = {275--286}, |
219 and Applications (LATA)}, |
212 Series = {LNCS}, |
220 pages = {275--286}, |
213 Title = {{D}erivatives for {R}egular {S}huffle {E}xpressions}, |
221 year = {2015}, |
214 Volume = {8977}, |
222 volume = {8977}, |
215 Year = {2015}} |
223 series = {LNCS} |
|
224 } |
|
225 |
216 |
226 @inproceedings{Chen2012, |
217 @inproceedings{Chen2012, |
227 author = {H.~Chen and S.~Yu}, |
218 Author = {H.~Chen and S.~Yu}, |
228 title = {{D}erivatives of {R}egular {E}xpressions and an {A}pplication}, |
219 Booktitle = {Proc.~in the International Workshop on Theoretical Computer Science (WTCS)}, |
229 booktitle = {Proc.~in the International Workshop on Theoretical |
220 Pages = {343--356}, |
230 Computer Science (WTCS)}, |
221 Series = {LNCS}, |
231 pages = {343--356}, |
222 Title = {{D}erivatives of {R}egular {E}xpressions and an {A}pplication}, |
232 year = {2012}, |
223 Volume = {7160}, |
233 volume = {7160}, |
224 Year = {2012}} |
234 series = {LNCS} |
|
235 } |
|
236 |
225 |
237 @article{Krauss2011, |
226 @article{Krauss2011, |
238 author={A.~Krauss and T.~Nipkow}, |
227 Author = {A.~Krauss and T.~Nipkow}, |
239 title={{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
228 Journal = {Journal of Automated Reasoning}, |
240 journal={Journal of Automated Reasoning}, |
229 Pages = {95--106}, |
241 volume=49, |
230 Title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
242 pages={95--106}, |
231 Volume = 49, |
243 year=2012 |
232 Year = 2012} |
244 } |
233 |
245 |
234 @inproceedings{Traytel2015, |
246 @InProceedings{Traytel2015, |
235 Author = {D.~Traytel}, |
247 author = {D.~Traytel}, |
236 Booktitle = {Proc.~of the 24th Annual Conference on Computer Science Logic (CSL)}, |
248 title = {{A} {C}oalgebraic {D}ecision {P}rocedure for {WS1S}}, |
237 Pages = {487--503}, |
249 booktitle = {Proc.~of the 24th Annual Conference on Computer Science Logic (CSL)}, |
238 Series = {LIPIcs}, |
250 pages = {487--503}, |
239 Title = {{A} {C}oalgebraic {D}ecision {P}rocedure for {WS1S}}, |
251 series = {LIPIcs}, |
240 Volume = {41}, |
252 year = {2015}, |
241 Year = {2015}} |
253 volume = {41} |
|
254 } |
|
255 |
242 |
256 @inproceedings{Traytel2013, |
243 @inproceedings{Traytel2013, |
257 author={D.~Traytel and T.~Nipkow}, |
244 Author = {D.~Traytel and T.~Nipkow}, |
258 title={{A} {V}erified {D}ecision {P}rocedure for {MSO} on |
245 Booktitle = {Proc.~of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP)}, |
259 {W}ords {B}ased on {D}erivatives of {R}egular {E}xpressions}, |
246 Pages = {3-12}, |
260 booktitle={Proc.~of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP)}, |
247 Title = {{A} {V}erified {D}ecision {P}rocedure for {MSO} on {W}ords {B}ased on {D}erivatives of {R}egular {E}xpressions}, |
261 pages={3-12}, |
248 Year = 2013} |
262 year=2013 |
249 |
263 } |
250 @inproceedings{Coquand2012, |
264 |
251 Author = {T.~Coquand and V.~Siles}, |
265 @InProceedings{Coquand2012, |
252 Booktitle = {Proc.~of the 1st International Conference on Certified Programs and Proofs (CPP)}, |
266 author = {T.~Coquand and V.~Siles}, |
253 Pages = {119--134}, |
267 title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory}, |
254 Series = {LNCS}, |
268 booktitle = {Proc.~of the 1st International Conference on Certified Programs and Proofs (CPP)}, |
255 Title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory}, |
269 pages = {119--134}, |
256 Volume = {7086}, |
270 year = {2011}, |
257 Year = {2011}} |
271 volume = {7086}, |
258 |
272 series = {LNCS} |
259 @inproceedings{Almeidaetal10, |
273 } |
260 Author = {J.~B.~Almeida and N.~Moriera and D.~Pereira and S.~M.~de Sousa}, |
274 |
261 Booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)}, |
275 @InProceedings{Almeidaetal10, |
262 Pages = {59-68}, |
276 author = {J.~B.~Almeida and N.~Moriera and D.~Pereira and S.~M.~de Sousa}, |
263 Series = {LNCS}, |
277 title = {{P}artial {D}erivative {A}utomata {F}ormalized in {C}oq}, |
264 Title = {{P}artial {D}erivative {A}utomata {F}ormalized in {C}oq}, |
278 booktitle = {Proc.~of the 15th International Conference on Implementation |
265 Volume = {6482}, |
279 and Application of Automata (CIAA)}, |
266 Year = {2010}} |
280 pages = {59-68}, |
|
281 year = {2010}, |
|
282 volume = {6482}, |
|
283 series = {LNCS} |
|
284 } |
|
285 |
267 |
286 @article{Owens2008, |
268 @article{Owens2008, |
287 author = {S.~Owens and K.~Slind}, |
269 Author = {S.~Owens and K.~Slind}, |
288 title = {{A}dapting {F}unctional {P}rograms to {H}igher {O}rder {L}ogic}, |
270 Journal = {Higher-Order and Symbolic Computation}, |
289 journal = {Higher-Order and Symbolic Computation}, |
271 Number = {4}, |
290 volume = {21}, |
272 Pages = {377--409}, |
291 number = {4}, |
273 Title = {{A}dapting {F}unctional {P}rograms to {H}igher {O}rder {L}ogic}, |
292 year = {2008}, |
274 Volume = {21}, |
293 pages = {377--409} |
275 Year = {2008}} |
294 } |
|
295 |
|
296 |
276 |
297 @article{Owens2, |
277 @article{Owens2, |
298 author = {S.~Owens and K.~Slind}, |
278 Author = {S.~Owens and K.~Slind}, |
299 title = {Adapting functional programs to higher order logic}, |
279 Bibsource = {dblp computer science bibliography, http://dblp.org}, |
300 journal = {Higher-Order and Symbolic Computation}, |
280 Biburl = {http://dblp.uni-trier.de/rec/bib/journals/lisp/OwensS08}, |
301 volume = {21}, |
281 Doi = {10.1007/s10990-008-9038-0}, |
302 number = {4}, |
282 Journal = {Higher-Order and Symbolic Computation}, |
303 pages = {377--409}, |
283 Number = {4}, |
304 year = {2008}, |
284 Pages = {377--409}, |
305 url = {http://dx.doi.org/10.1007/s10990-008-9038-0}, |
285 Timestamp = {Wed, 16 Dec 2009 13:51:02 +0100}, |
306 doi = {10.1007/s10990-008-9038-0}, |
286 Title = {Adapting functional programs to higher order logic}, |
307 timestamp = {Wed, 16 Dec 2009 13:51:02 +0100}, |
287 Url = {http://dx.doi.org/10.1007/s10990-008-9038-0}, |
308 biburl = {http://dblp.uni-trier.de/rec/bib/journals/lisp/OwensS08}, |
288 Volume = {21}, |
309 bibsource = {dblp computer science bibliography, http://dblp.org} |
289 Year = {2008}, |
310 } |
290 Bdsk-Url-1 = {http://dx.doi.org/10.1007/s10990-008-9038-0}} |
311 |
291 |
312 @misc{PCRE, |
292 @misc{PCRE, |
313 title = "{PCRE - Perl Compatible Regular Expressions}", |
293 Title = {{PCRE - Perl Compatible Regular Expressions}}, |
314 url = {http://www.pcre.org}, |
294 Url = {http://www.pcre.org}, |
315 } |
295 Bdsk-Url-1 = {http://www.pcre.org}} |
316 |
296 |
317 |
297 @inproceedings{OkuiSuzuki2010, |
318 |
298 Author = {S.~Okui and T.~Suzuki}, |
319 @InProceedings{OkuiSuzuki2010, |
299 Booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)}, |
320 author = {S.~Okui and T.~Suzuki}, |
300 Pages = {231--240}, |
321 title = {{D}isambiguation in {R}egular {E}xpression {M}atching via |
301 Series = {LNCS}, |
322 {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
302 Title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
323 booktitle = {Proc.~of the 15th International Conference on Implementation |
303 Volume = {6482}, |
324 and Application of Automata (CIAA)}, |
304 Year = {2010}} |
325 year = {2010}, |
305 |
326 volume = {6482}, |
306 @techreport{OkuiSuzukiTech, |
327 series = {LNCS}, |
307 Author = {S.~Okui and T.~Suzuki}, |
328 pages = {231--240} |
308 Institution = {University of Aizu}, |
329 } |
309 Title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
330 |
310 Year = {2013}} |
331 |
|
332 |
|
333 @TechReport{OkuiSuzukiTech, |
|
334 author = {S.~Okui and T.~Suzuki}, |
|
335 title = {{D}isambiguation in {R}egular {E}xpression {M}atching via |
|
336 {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
|
337 institution = {University of Aizu}, |
|
338 year = {2013} |
|
339 } |
|
340 |
311 |
341 @inproceedings{Davis18, |
312 @inproceedings{Davis18, |
342 author = {J.~C.~Davis and C.~.A.~Coghlan and F.~Servant and D.~Lee}, |
313 Author = {J.~C.~Davis and C.~.A.~Coghlan and F.~Servant and D.~Lee}, |
343 title = {{T}he {I}mpact of {R}egular {E}xpression {D}enial of {S}ervice ({ReDoS}) in |
314 Booktitle = {Proc.~of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}, |
344 {P}ractice: {A}n {E}mpirical {S}tudy at the {E}cosystem {S}cale}, |
315 Numpages = {11}, |
345 booktitle = {Proc.~of the 26th ACM Joint Meeting on European Software Engineering |
316 Pages = {246--256}, |
346 Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}, |
317 Title = {{T}he {I}mpact of {R}egular {E}xpression {D}enial of {S}ervice ({ReDoS}) in {P}ractice: {A}n {E}mpirical {S}tudy at the {E}cosystem {S}cale}, |
347 year = {2018}, |
318 Year = {2018}} |
348 pages = {246--256}, |
|
349 numpages = {11} |
|
350 } |
|