equal
deleted
inserted
replaced
12 @Misc{POSIX, |
12 @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}, |
13 title = {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition}, |
14 year = {2004}, |
14 year = {2004}, |
15 note = {\url{http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap09.html}} |
15 note = {\url{http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap09.html}} |
16 } |
16 } |
|
17 |
17 |
18 |
18 |
19 |
19 @InProceedings{AusafDyckhoffUrban2016, |
20 @InProceedings{AusafDyckhoffUrban2016, |
20 author = {F.~Ausaf and R.~Dyckhoff and C.~Urban}, |
21 author = {F.~Ausaf and R.~Dyckhoff and C.~Urban}, |
21 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl)}, |
22 title = {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl)}, |
336 {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
337 {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
337 institution = {University of Aizu}, |
338 institution = {University of Aizu}, |
338 year = {2013} |
339 year = {2013} |
339 } |
340 } |
340 |
341 |
|
342 @inproceedings{RibeiroAgda2017, |
|
343 author = {R.~Ribeiro and A.~Du Bois}, |
|
344 title = {{C}ertified {B}it-{C}oded {R}egular {E}xpression {P}arsing}, |
|
345 year = {2017}, |
|
346 publisher = {Association for Computing Machinery}, |
|
347 address = {New York, NY, USA}, |
|
348 booktitle = {Proc.~of the 21st Brazilian Symposium on Programming Languages}, |
|
349 articleno = {4}, |
|
350 numpages = {8} |
|
351 } |
|
352 |
|
353 |