468
+ − 1 %% This BibTeX bibliography file was created using BibDesk.
+ − 2 %% https://bibdesk.sourceforge.io/
+ − 3
+ − 4 %% Created for CS TAN at 2022-03-16 16:38:47 +0000
+ − 5
+ − 6
+ − 7 %% Saved with string encoding Unicode (UTF-8)
+ − 8
+ − 9 @article{Rathnayake2014StaticAF,
+ − 10 title={Static Analysis for Regular Expression Exponential Runtime via Substructural Logics},
+ − 11 author={Asiri Rathnayake and Hayo Thielecke},
472
+ − 12 journal={ArXiv},
468
+ − 13 year={2014},
+ − 14 volume={abs/1405.7058}
+ − 15 }
+ − 16
472
+ − 17 @inproceedings{Weideman2017Static,
+ − 18 title={Static analysis of regular expressions},
+ − 19 author={Nicolaas Weideman},
+ − 20 year={2017}
+ − 21 }
+ − 22
468
+ − 23 @inproceedings{RibeiroAgda2017,
+ − 24 abstract = {We describe the formalization of a regular expression (RE) parsing algorithm that produces a bit representation of its parse tree in the dependently typed language Agda. The algorithm computes bit-codes using Brzozowski derivatives and we prove that produced codes are equivalent to parse trees ensuring soundness and completeness w.r.t an inductive RE semantics. We include the certified algorithm in a tool developed by us, named verigrep, for regular expression based search in the style of the well known GNU grep. Practical experiments conducted with this tool are reported.},
+ − 25 address = {New York, NY, USA},
+ − 26 articleno = {4},
+ − 27 author = {Ribeiro, Rodrigo and Bois, Andr\'{e} Du},
+ − 28 booktitle = {Proceedings of the 21st Brazilian Symposium on Programming Languages},
+ − 29 date-modified = {2022-03-16 16:38:47 +0000},
+ − 30 doi = {10.1145/3125374.3125381},
+ − 31 isbn = {9781450353892},
+ − 32 keywords = {Certified algorithms, regular expressions, dependent types, bit-codes},
+ − 33 location = {Fortaleza, CE, Brazil},
+ − 34 numpages = {8},
+ − 35 publisher = {Association for Computing Machinery},
+ − 36 series = {SBLP 2017},
+ − 37 title = {Certified Bit-Coded Regular Expression Parsing},
+ − 38 url = {https://doi.org/10.1145/3125374.3125381},
+ − 39 year = {2017},
+ − 40 bdsk-url-1 = {https://doi.org/10.1145/3125374.3125381}}
+ − 41
+ − 42 @article{Thompson_1968,
+ − 43 author = {Ken Thompson},
+ − 44 date-added = {2022-02-23 13:44:42 +0000},
+ − 45 date-modified = {2022-02-23 13:44:42 +0000},
+ − 46 doi = {10.1145/363347.363387},
+ − 47 journal = {Communications of the {ACM}},
+ − 48 month = {jun},
+ − 49 number = {6},
+ − 50 pages = {419--422},
+ − 51 publisher = {Association for Computing Machinery ({ACM})},
+ − 52 title = {Programming Techniques: Regular expression search algorithm},
+ − 53 url = {https://doi.org/10.1145%2F363347.363387},
+ − 54 volume = {11},
+ − 55 year = 1968,
+ − 56 bdsk-url-1 = {https://doi.org/10.1145%2F363347.363387},
+ − 57 bdsk-url-2 = {https://doi.org/10.1145/363347.363387}}
+ − 58
+ − 59 @article{17Bir,
+ − 60 author = {Asiri Rathnayake and Hayo Thielecke},
+ − 61 date-added = {2019-08-18 17:57:30 +0000},
+ − 62 date-modified = {2019-08-18 18:00:13 +0000},
+ − 63 journal = {arXiv:1405.7058},
+ − 64 title = {Static Analysis for Regular Expression Exponential Runtime via Substructural Logics},
+ − 65 year = {2017}}
471
+ − 66 @article{campeanu2003formal,
+ − 67 title={A formal study of practical regular expressions},
+ − 68 author={C{\^a}mpeanu, Cezar and Salomaa, Kai and Yu, Sheng},
+ − 69 journal={International Journal of Foundations of Computer Science},
+ − 70 volume={14},
+ − 71 number={06},
+ − 72 pages={1007--1018},
+ − 73 year={2003},
+ − 74 publisher={World Scientific}
+ − 75 }
+ − 76
+ − 77 @article{alfred2014algorithms,
+ − 78 title={Algorithms for finding patterns in strings},
+ − 79 author={Alfred, V},
+ − 80 journal={Algorithms and Complexity},
+ − 81 volume={1},
+ − 82 pages={255},
+ − 83 year={2014},
+ − 84 publisher={Elsevier}
+ − 85 }
+ − 86
+ − 87
+ − 88 @article{CAMPEANU2009Intersect,
+ − 89 title = {On the intersection of regex languages with regular languages},
+ − 90 journal = {Theoretical Computer Science},
+ − 91 volume = {410},
+ − 92 number = {24},
+ − 93 pages = {2336-2344},
+ − 94 year = {2009},
+ − 95 note = {Formal Languages and Applications: A Collection of Papers in Honor of Sheng Yu},
+ − 96 issn = {0304-3975},
+ − 97 doi = {https://doi.org/10.1016/j.tcs.2009.02.022},
+ − 98 url = {https://www.sciencedirect.com/science/article/pii/S0304397509001789},
+ − 99 author = {Cezar Câmpeanu and Nicolae Santean},
+ − 100 keywords = {Extended regular expression, Regex automata system, Regex},
+ − 101 abstract = {In this paper we revisit the semantics of extended regular expressions (regex), defined succinctly in the 90s [A.V. Aho, Algorithms for finding patterns in strings, in: Jan van Leeuwen (Ed.), Handbook of Theoretical Computer Science, in: Algorithms and Complexity, vol. A, Elsevier and MIT Press, 1990, pp. 255–300] and rigorously in 2003 by Câmpeanu, Salomaa and Yu [C. Câmpeanu, K. Salomaa, S. Yu, A formal study of practical regular expressions, IJFCS 14 (6) (2003) 1007–1018], when the authors reported an open problem, namely whether regex languages are closed under the intersection with regular languages. We give a positive answer; and for doing so, we propose a new class of machines — regex automata systems (RAS) — which are equivalent to regex. Among others, these machines provide a consistent and convenient method of implementing regex in practice. We also prove, as a consequence of this closure property, that several languages, such as the mirror language, the language of palindromes, and the language of balanced words are not regex languages.}
+ − 102 }
+ − 103
468
+ − 104
+ − 105 @article{nielson11bcre,
+ − 106 author = {Lasse Nielsen, Fritz Henglein},
+ − 107 date-added = {2019-07-03 21:09:39 +0000},
+ − 108 date-modified = {2019-07-03 21:17:33 +0000},
+ − 109 journal = {LATA},
+ − 110 title = {Bit-coded Regular Expression Parsing},
+ − 111 year = {2011},
+ − 112 bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxA1Li4vLi4vLi4vTXkgTWFjIChNYWNCb29rLVBybykvRGVza3RvcC9mcml0ei1wYXBlci5wZGZPEQF+AAAAAAF+AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8PZnJpdHotcGFwZXIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAADAAMAAAogY3UAAAAAAAAAAAAAAAAAB0Rlc2t0b3AAAAIAQi86VXNlcnM6Y3N0YW46RHJvcGJveDpNeSBNYWMgKE1hY0Jvb2stUHJvKTpEZXNrdG9wOmZyaXR6LXBhcGVyLnBkZgAOACAADwBmAHIAaQB0AHoALQBwAGEAcABlAHIALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEBVc2Vycy9jc3Rhbi9Ecm9wYm94L015IE1hYyAoTWFjQm9vay1Qcm8pL0Rlc2t0b3AvZnJpdHotcGFwZXIucGRmABMAAS8AABUAAgAM//8AAAAIAA0AGgAkAFwAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAAB3g==}}
+ − 113 @software{regexploit2021,
+ − 114 author = {Ben Caller, Luca Carettoni},
+ − 115 date-added = {2020-11-24 00:00:00 +0000},
+ − 116 date-modified = {2021-05-07 00:00:00 +0000},
+ − 117 keywords = {ReDos static analyser},
472
+ − 118 month = {May},
+ − 119 title = {regexploit},
+ − 120 url = {https://github.com/doyensec/regexploit},
468
+ − 121 year = {2021}
+ − 122 }
+ − 123
471
+ − 124 @misc{KuklewiczHaskell,
+ − 125 title = {Regex Posix},
+ − 126 author = {Kuklewicz},
+ − 127 keywords = {Buggy C POSIX Lexing Libraries},
+ − 128 url = {https://wiki.haskell.org/Regex_Posix},
+ − 129 year = {2017}
+ − 130 }
472
+ − 131 @misc{regex101,
+ − 132 title = {regex101},
+ − 133 author = {Firas Dib},
+ − 134 year = {2011},
+ − 135 url = {https://regex101.com/},
+ − 136 keywords = {regex tester debugger}
+ − 137 }
500
+ − 138 @misc{atomEditor,
+ − 139 title = {Atom Editor},
+ − 140 author = {Dunno},
+ − 141 year = {2022},
+ − 142 url = {https://atom.io},
+ − 143 keywords = {text editor}
+ − 144 }
471
+ − 145 @techreport{grathwohl2014crash,
+ − 146 title={A Crash-Course in Regular Expression Parsing and Regular Expressions as Types},
+ − 147 author={Grathwohl, Niels Bj{\o}rn Bugge and Henglein, Fritz and Rasmussen, Ulrik Terp},
+ − 148 year={2014},
+ − 149 institution={Technical report, University of Copenhagen}
+ − 150 }
+ − 151
468
+ − 152 @misc{SE16,
+ − 153 author = {StackStatus},
+ − 154 date-added = {2019-06-26 11:28:41 +0000},
+ − 155 date-modified = {2019-06-26 16:07:31 +0000},
+ − 156 keywords = {ReDos Attack},
+ − 157 month = {July},
+ − 158 rating = {5},
+ − 159 read = {1},
+ − 160 title = {Stack Overflow Outage Postmortem},
+ − 161 url = {https://stackstatus.net/post/147710624694/outage-postmortem-july-20-2016},
+ − 162 year = {2016},
+ − 163 bdsk-url-1 = {https://stackstatus.net/post/147710624694/outage-postmortem-july-20-2016}}
+ − 164
+ − 165 @article{HosoyaVouillonPierce2005,
+ − 166 author = {H.~Hosoya and J.~Vouillon and B.~C.~Pierce},
+ − 167 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
+ − 168 number = 1,
+ − 169 pages = {46--90},
+ − 170 title = {{R}egular {E}xpression {T}ypes for {XML}},
+ − 171 volume = 27,
+ − 172 year = {2005}}
+ − 173
+ − 174 @misc{POSIX,
+ − 175 note = {\url{http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap09.html}},
+ − 176 title = {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition},
+ − 177 year = {2004}}
+ − 178
+ − 179 @inproceedings{AusafDyckhoffUrban2016,
+ − 180 author = {F.~Ausaf and R.~Dyckhoff and C.~Urban},
+ − 181 booktitle = {Proc.~of the 7th International Conference on Interactive Theorem Proving (ITP)},
+ − 182 pages = {69--86},
+ − 183 series = {LNCS},
+ − 184 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl)},
+ − 185 volume = {9807},
+ − 186 year = {2016}}
+ − 187
+ − 188 @article{aduAFP16,
+ − 189 author = {F.~Ausaf and R.~Dyckhoff and C.~Urban},
+ − 190 issn = {2150-914x},
+ − 191 journal = {Archive of Formal Proofs},
+ − 192 note = {\url{http://www.isa-afp.org/entries/Posix-Lexing.shtml}, Formal proof development},
+ − 193 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions},
+ − 194 year = 2016}
+ − 195
+ − 196 @techreport{CrashCourse2014,
+ − 197 annote = {draft report},
+ − 198 author = {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen},
+ − 199 institution = {University of Copenhagen},
+ − 200 title = {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular {E}xpressions as {T}ypes},
+ − 201 year = {2014}}
+ − 202
+ − 203 @inproceedings{Sulzmann2014,
+ − 204 author = {M.~Sulzmann and K.~Lu},
+ − 205 booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)},
+ − 206 pages = {203--220},
+ − 207 series = {LNCS},
+ − 208 title = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives},
+ − 209 volume = {8475},
+ − 210 year = {2014}}
+ − 211
+ − 212 @inproceedings{Sulzmann2014b,
+ − 213 author = {M.~Sulzmann and P.~van Steenhoven},
+ − 214 booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)},
+ − 215 pages = {174--191},
+ − 216 series = {LNCS},
+ − 217 title = {{A} {F}lexible and {E}fficient {ML} {L}exer {T}ool {B}ased on {E}xtended {R}egular {E}xpression {S}ubmatching},
+ − 218 volume = {8409},
+ − 219 year = {2014}}
+ − 220
+ − 221 @book{Pierce2015,
+ − 222 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},
+ − 223 note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}},
+ − 224 publisher = {Electronic textbook},
+ − 225 title = {{S}oftware {F}oundations},
+ − 226 year = {2015}}
+ − 227
+ − 228 @misc{Kuklewicz,
+ − 229 author = {C.~Kuklewicz},
+ − 230 howpublished = {\url{https://wiki.haskell.org/Regex_Posix}},
+ − 231 title = {{R}egex {P}osix}}
+ − 232
+ − 233 @article{Vansummeren2006,
+ − 234 author = {S.~Vansummeren},
+ − 235 journal = {ACM Transactions on Programming Languages and Systems},
+ − 236 number = {3},
+ − 237 pages = {389--428},
+ − 238 title = {{T}ype {I}nference for {U}nique {P}attern {M}atching},
+ − 239 volume = {28},
+ − 240 year = {2006}}
+ − 241
+ − 242 @inproceedings{Asperti12,
+ − 243 author = {A.~Asperti},
+ − 244 booktitle = {Proc.~of the 3rd International Conference on Interactive Theorem Proving (ITP)},
+ − 245 pages = {283--298},
+ − 246 series = {LNCS},
+ − 247 title = {{A} {C}ompact {P}roof of {D}ecidability for {R}egular {E}xpression {E}quivalence},
+ − 248 volume = {7406},
+ − 249 year = {2012}}
+ − 250
+ − 251 @inproceedings{Frisch2004,
+ − 252 author = {A.~Frisch and L.~Cardelli},
+ − 253 booktitle = {Proc.~of the 31st International Conference on Automata, Languages and Programming (ICALP)},
+ − 254 pages = {618--629},
+ − 255 series = {LNCS},
+ − 256 title = {{G}reedy {R}egular {E}xpression {M}atching},
+ − 257 volume = {3142},
+ − 258 year = {2004}}
+ − 259
+ − 260 @article{Antimirov95,
+ − 261 author = {V.~Antimirov},
+ − 262 journal = {Theoretical Computer Science},
+ − 263 pages = {291--319},
+ − 264 title = {{P}artial {D}erivatives of {R}egular {E}xpressions and {F}inite {A}utomata {C}onstructions},
+ − 265 volume = {155},
+ − 266 year = {1995}}
+ − 267
+ − 268 @inproceedings{Nipkow98,
+ − 269 author = {T.~Nipkow},
+ − 270 booktitle = {Proc.~of the 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs)},
+ − 271 pages = {1--15},
+ − 272 series = {LNCS},
+ − 273 title = {{V}erified {L}exical {A}nalysis},
+ − 274 volume = 1479,
+ − 275 year = 1998}
+ − 276
+ − 277 @article{Brzozowski1964,
+ − 278 author = {J.~A.~Brzozowski},
+ − 279 journal = {Journal of the {ACM}},
+ − 280 number = {4},
+ − 281 pages = {481--494},
+ − 282 title = {{D}erivatives of {R}egular {E}xpressions},
+ − 283 volume = {11},
+ − 284 year = {1964}}
+ − 285
+ − 286 @article{Leroy2009,
+ − 287 author = {X.~Leroy},
+ − 288 journal = {Communications of the ACM},
+ − 289 number = 7,
+ − 290 pages = {107--115},
+ − 291 title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler},
+ − 292 volume = 52,
+ − 293 year = 2009}
+ − 294
+ − 295 @inproceedings{Paulson2015,
+ − 296 author = {L.~C.~Paulson},
+ − 297 booktitle = {Proc.~of the 25th International Conference on Automated Deduction (CADE)},
+ − 298 pages = {231--245},
+ − 299 series = {LNAI},
+ − 300 title = {{A} {F}ormalisation of {F}inite {A}utomata {U}sing {H}ereditarily {F}inite {S}ets},
+ − 301 volume = {9195},
+ − 302 year = {2015}}
+ − 303
+ − 304 @article{Wu2014,
+ − 305 author = {C.~Wu and X.~Zhang and C.~Urban},
+ − 306 journal = {Journal of Automatic Reasoning},
+ − 307 number = {4},
+ − 308 pages = {451--480},
+ − 309 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
+ − 310 volume = {52},
+ − 311 year = {2014}}
+ − 312
+ − 313 @inproceedings{Regehr2011,
+ − 314 author = {X.~Yang and Y.~Chen and E.~Eide and J.~Regehr},
+ − 315 booktitle = {Proc.~of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
+ − 316 pages = {283--294},
+ − 317 title = {{F}inding and {U}nderstanding {B}ugs in {C} {C}ompilers},
+ − 318 year = {2011}}
+ − 319
+ − 320 @article{Norrish2014,
+ − 321 author = {A.~Barthwal and M.~Norrish},
+ − 322 journal = {Journal of Computer and System Sciences},
+ − 323 number = {2},
+ − 324 pages = {346--362},
+ − 325 title = {{A} {M}echanisation of {S}ome {C}ontext-{F}ree {L}anguage {T}heory in {HOL4}},
+ − 326 volume = {80},
+ − 327 year = {2014}}
+ − 328
+ − 329 @article{Thompson1968,
+ − 330 author = {K.~Thompson},
+ − 331 issue_date = {June 1968},
+ − 332 journal = {Communications of the ACM},
+ − 333 number = {6},
+ − 334 pages = {419--422},
+ − 335 title = {{P}rogramming {T}echniques: {R}egular {E}xpression {S}earch {A}lgorithm},
+ − 336 volume = {11},
+ − 337 year = {1968}}
+ − 338
+ − 339 @article{Owens2009,
+ − 340 author = {S.~Owens and J.~H.~Reppy and A.~Turon},
+ − 341 journal = {Journal of Functinal Programming},
+ − 342 number = {2},
+ − 343 pages = {173--190},
+ − 344 title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined},
+ − 345 volume = {19},
+ − 346 year = {2009}}
+ − 347
+ − 348 @inproceedings{Sulzmann2015,
+ − 349 author = {M.~Sulzmann and P.~Thiemann},
+ − 350 booktitle = {Proc.~of the 9th International Conference on Language and Automata Theory and Applications (LATA)},
+ − 351 pages = {275--286},
+ − 352 series = {LNCS},
+ − 353 title = {{D}erivatives for {R}egular {S}huffle {E}xpressions},
+ − 354 volume = {8977},
+ − 355 year = {2015}}
+ − 356
+ − 357 @inproceedings{Chen2012,
+ − 358 author = {H.~Chen and S.~Yu},
+ − 359 booktitle = {Proc.~in the International Workshop on Theoretical Computer Science (WTCS)},
+ − 360 pages = {343--356},
+ − 361 series = {LNCS},
+ − 362 title = {{D}erivatives of {R}egular {E}xpressions and an {A}pplication},
+ − 363 volume = {7160},
+ − 364 year = {2012}}
+ − 365
+ − 366 @article{Krauss2011,
+ − 367 author = {A.~Krauss and T.~Nipkow},
+ − 368 journal = {Journal of Automated Reasoning},
+ − 369 pages = {95--106},
+ − 370 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},
+ − 371 volume = 49,
+ − 372 year = 2012}
+ − 373
+ − 374 @inproceedings{Traytel2015,
+ − 375 author = {D.~Traytel},
+ − 376 booktitle = {Proc.~of the 24th Annual Conference on Computer Science Logic (CSL)},
+ − 377 pages = {487--503},
+ − 378 series = {LIPIcs},
+ − 379 title = {{A} {C}oalgebraic {D}ecision {P}rocedure for {WS1S}},
+ − 380 volume = {41},
+ − 381 year = {2015}}
+ − 382
+ − 383 @inproceedings{Traytel2013,
+ − 384 author = {D.~Traytel and T.~Nipkow},
+ − 385 booktitle = {Proc.~of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP)},
+ − 386 pages = {3-12},
+ − 387 title = {{A} {V}erified {D}ecision {P}rocedure for {MSO} on {W}ords {B}ased on {D}erivatives of {R}egular {E}xpressions},
+ − 388 year = 2013}
+ − 389
+ − 390 @inproceedings{Coquand2012,
+ − 391 author = {T.~Coquand and V.~Siles},
+ − 392 booktitle = {Proc.~of the 1st International Conference on Certified Programs and Proofs (CPP)},
+ − 393 pages = {119--134},
+ − 394 series = {LNCS},
+ − 395 title = {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory},
+ − 396 volume = {7086},
+ − 397 year = {2011}}
+ − 398
+ − 399 @inproceedings{Almeidaetal10,
+ − 400 author = {J.~B.~Almeida and N.~Moriera and D.~Pereira and S.~M.~de Sousa},
+ − 401 booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)},
+ − 402 pages = {59-68},
+ − 403 series = {LNCS},
+ − 404 title = {{P}artial {D}erivative {A}utomata {F}ormalized in {C}oq},
+ − 405 volume = {6482},
+ − 406 year = {2010}}
+ − 407
+ − 408 @article{Owens2008,
+ − 409 author = {S.~Owens and K.~Slind},
+ − 410 journal = {Higher-Order and Symbolic Computation},
+ − 411 number = {4},
+ − 412 pages = {377--409},
+ − 413 title = {{A}dapting {F}unctional {P}rograms to {H}igher {O}rder {L}ogic},
+ − 414 volume = {21},
+ − 415 year = {2008}}
+ − 416
+ − 417 @article{Owens2,
+ − 418 author = {S.~Owens and K.~Slind},
+ − 419 bibsource = {dblp computer science bibliography, http://dblp.org},
+ − 420 biburl = {http://dblp.uni-trier.de/rec/bib/journals/lisp/OwensS08},
+ − 421 doi = {10.1007/s10990-008-9038-0},
+ − 422 journal = {Higher-Order and Symbolic Computation},
+ − 423 number = {4},
+ − 424 pages = {377--409},
+ − 425 timestamp = {Wed, 16 Dec 2009 13:51:02 +0100},
+ − 426 title = {Adapting functional programs to higher order logic},
+ − 427 url = {http://dx.doi.org/10.1007/s10990-008-9038-0},
+ − 428 volume = {21},
+ − 429 year = {2008},
+ − 430 bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-008-9038-0}}
+ − 431
+ − 432 @misc{PCRE,
+ − 433 title = {{PCRE - Perl Compatible Regular Expressions}},
+ − 434 url = {http://www.pcre.org},
+ − 435 bdsk-url-1 = {http://www.pcre.org}}
+ − 436
+ − 437 @inproceedings{OkuiSuzuki2010,
+ − 438 author = {S.~Okui and T.~Suzuki},
+ − 439 booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)},
+ − 440 pages = {231--240},
+ − 441 series = {LNCS},
+ − 442 title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions},
+ − 443 volume = {6482},
+ − 444 year = {2010}}
+ − 445
+ − 446 @techreport{OkuiSuzukiTech,
+ − 447 author = {S.~Okui and T.~Suzuki},
+ − 448 institution = {University of Aizu},
+ − 449 title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions},
+ − 450 year = {2013}}
+ − 451
+ − 452 @inproceedings{Davis18,
+ − 453 author = {J.~C.~Davis and C.~.A.~Coghlan and F.~Servant and D.~Lee},
+ − 454 booktitle = {Proc.~of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)},
+ − 455 numpages = {11},
+ − 456 pages = {246--256},
+ − 457 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},
+ − 458 year = {2018}}