370 {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
370 {P}osition {A}utomata with {A}ugmented {T}ransitions}, |
371 institution = {University of Aizu}, |
371 institution = {University of Aizu}, |
372 year = {2013} |
372 year = {2013} |
373 } |
373 } |
374 |
374 |
|
375 |
|
376 |
375 @inproceedings{RibeiroAgda2017, |
377 @inproceedings{RibeiroAgda2017, |
376 author = {R.~Ribeiro and A.~Du Bois}, |
378 author = {R.~Ribeiro and A.~Du Bois}, |
377 title = {{C}ertified {B}it-{C}oded {R}egular {E}xpression {P}arsing}, |
379 title = {{C}ertified {B}it-{C}oded {R}egular {E}xpression {P}arsing}, |
378 year = {2017}, |
380 year = {2017}, |
379 publisher = {Association for Computing Machinery}, |
|
380 address = {New York, NY, USA}, |
|
381 booktitle = {Proc.~of the 21st Brazilian Symposium on Programming Languages}, |
381 booktitle = {Proc.~of the 21st Brazilian Symposium on Programming Languages}, |
382 articleno = {4}, |
382 pages = {4:1--4:8} |
383 numpages = {8} |
|
384 } |
383 } |
385 |
384 |
386 |
385 |
387 @INPROCEEDINGS{verbatim, |
386 @INPROCEEDINGS{verbatim, |
388 author={D.~Egolf and S.~Lasser and K.~Fisher}, |
387 author={D.~Egolf and S.~Lasser and K.~Fisher}, |