Mercurial Mercurial > hg > lexing / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ChengsongTanPhdThesis/example.bib
changeset 603 370fe1dde7c7
parent 602 46db6ae66448
child 605 ed53ce26ecb6
equal deleted inserted replaced
602:46db6ae66448 603:370fe1dde7c7 
     3 
     3 
     4 %% Created for CS TAN at 2022-05-23 18:43:50 +0100 
     4 %% Created for CS TAN at 2022-05-23 18:43:50 +0100 
     5 
     5 
     6 
     6 
     7 %% Saved with string encoding Unicode (UTF-8) 
     7 %% Saved with string encoding Unicode (UTF-8) 
       
     8 
       
     9 @unpublished{CSL22
 
       
    10 author = "Chengsong Tan and Christian Urban",
 
       
    11 title = "POSIX Lexing with Bitcoded Derivatives",
 
       
    12 note = "submitted",
 
       
    13 }
 
       
    14 
     8 @INPROCEEDINGS{Verbatim,  author={Egolf, Derek and Lasser, Sam and Fisher, Kathleen},  booktitle={2021 IEEE Security and Privacy Workshops (SPW)},   title={Verbatim: A Verified Lexer Generator},   year={2021},  volume={},  number={},  pages={92-100},  doi={10.1109/SPW53761.2021.00022}}
 
    15 @INPROCEEDINGS{Verbatim,  author={Egolf, Derek and Lasser, Sam and Fisher, Kathleen},  booktitle={2021 IEEE Security and Privacy Workshops (SPW)},   title={Verbatim: A Verified Lexer Generator},   year={2021},  volume={},  number={},  pages={92-100},  doi={10.1109/SPW53761.2021.00022}}
 
     9 
    16 
    10 
    17 
    11 @inproceedings{Verbatimpp,
 
    18 @inproceedings{Verbatimpp,
 
    12 author = {Egolf, Derek and Lasser, Sam and Fisher, Kathleen},
 
    19 author = {Egolf, Derek and Lasser, Sam and Fisher, Kathleen},
lexing