equal
deleted
inserted
replaced
4 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, |
4 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, |
5 year = {2005}, |
5 year = {2005}, |
6 volume = 27, |
6 volume = 27, |
7 number = 1, |
7 number = 1, |
8 pages = {46--90} |
8 pages = {46--90} |
|
9 } |
|
10 |
|
11 @InProceedings{BjorklundMartensTimm2015, |
|
12 author = {H.~Bj\"{o}rklund and W.~Martens and T.~Timm}, |
|
13 title = {{E}fficient {I}ncremental {E}valuation of {S}uccinct |
|
14 {R}egular {E}xpressions}, |
|
15 booktitle = {Proc.~of the 24th ACM Conf.~on Information and Knowledge Management (CIKM)}, |
|
16 year = {2015}, |
|
17 pages = {1541--1550} |
|
18 } |
|
19 |
|
20 @Article{CountingSet2020, |
|
21 author = {L.~Turo\v{n}ov\'{a} and L.~Hol\'{\i}k |
|
22 and O.~Leng\'{a}l and O.~Saarikivi |
|
23 and M.~Veanes and T.~Vojnar}, |
|
24 title = {{R}egex {M}atching with {C}ounting-{S}et {A}utomata}, |
|
25 year = {2020}, |
|
26 journal = {Proceedings of the ACM on Programming Languages (PACMPL)}, |
|
27 publisher = {ACM}, |
|
28 volume = {4}, |
|
29 pages = {218:1--218:30} |
9 } |
30 } |
10 |
31 |
11 |
32 |
12 @Misc{POSIX, |
33 @Misc{POSIX, |
13 title = {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition}, |
34 title = {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition}, |
357 title={{V}erbatim: {A} {V}erified {L}exer {G}enerator}, |
378 title={{V}erbatim: {A} {V}erified {L}exer {G}enerator}, |
358 year={2021}, |
379 year={2021}, |
359 volume={}, |
380 volume={}, |
360 number={}, |
381 number={}, |
361 pages={92--100}} |
382 pages={92--100}} |
|
383 |
|
384 |
|
385 @inproceedings{verbatimpp, |
|
386 author = {D.~Egolf and S.~Lasser and K.~Fisher}, |
|
387 title = {{V}erbatim++: {V}erified, {O}ptimized, and |
|
388 {S}emantically {R}ich {L}exing with |
|
389 {D}derivatives}, |
|
390 booktitle = {Proc.~of the 11th {ACM} {SIGPLAN} Conference on Certified |
|
391 Programs and Proofs (CPP)}, |
|
392 pages = {27--39}, |
|
393 publisher = {{ACM}}, |
|
394 year = {2022} |
|
395 } |
|
396 |
|
397 @article{zipperparser, |
|
398 author = {P.~Darragh and M.~D.~Adams}, |
|
399 title = {{P}arsing with {Z}ippers ({F}unctional {P}earl)}, |
|
400 year = {2020}, |
|
401 issue_date = {August 2020}, |
|
402 publisher = {Association for Computing Machinery}, |
|
403 volume = {4}, |
|
404 journal = {Proc. ACM Program. Lang.}, |
|
405 number = {ICFP} } |