Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r1c35c78 r9be2b60  
    11461146    author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
    11471147    title       = {Checked C: Making C Safe by Extension},
    1148     booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
     1148    booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
     1149    year        = {2018},
     1150    month       = {September},
     1151    pages       = {53-60},
    11491152    publisher   = {IEEE},
    1150     year        = {2018},
    1151     month       = seep,
    1152     pages       = {53-60},
    11531153    url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
     1154}
     1155
     1156@misc{Clang,
     1157    keywords    = {clang},
     1158    contributer = {a3moss@uwaterloo.ca},
     1159    title       = {Clang: a {C} language family frontend for {LLVM}},
     1160    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
     1161    note        = {Accessed 2019-02-22}
    11541162}
    11551163
     
    24042412}
    24052413
     2414@misc{Dotty-github,
     2415    keywords = {dotty,scala},
     2416    contributer = {a3moss@uwaterloo.ca},
     2417    author = {Martin Odersky},
     2418    title = {Dotty},
     2419    howpublished = {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
     2420    note = {Acessed: 2019-02-22}
     2421}
     2422
    24062423@unpublished{Duff83,
    24072424    keywords    = {C, switch statement, control flow},
     
    25092526    pages       = {325-361},
    25102527}
     2528
     2529@article{Tarjan75,
     2530 keywords = {union-find},
     2531 contributer = {a3moss@uwaterloo.ca},
     2532 author = {Tarjan, Robert Endre},
     2533 title = {Efficiency of a Good But Not Linear Set Union Algorithm},
     2534 journal = {J. ACM},
     2535 issue_date = {April 1975},
     2536 volume = {22},
     2537 number = {2},
     2538 month = apr,
     2539 year = {1975},
     2540 issn = {0004-5411},
     2541 pages = {215--225},
     2542 numpages = {11},
     2543 url = {http://doi.acm.org/10.1145/321879.321884},
     2544 doi = {10.1145/321879.321884},
     2545 acmid = {321884},
     2546 publisher = {ACM},
     2547 address = {New York, NY, USA},
     2548}
    25112549
    25122550@book{Eiffel,
     
    37013739    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    37023740    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
     3741}
     3742
     3743@article{Swift05,
     3744   contributer  = {pabuhr@plg},
     3745   author       = {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
     3746   title        = {Improving the Reliability of Commodity Operating Systems},
     3747   journal      = tocs,
     3748   volume       = 23,
     3749   number       = 1,
     3750   month        = feb,
     3751   year         = 2005,
     3752   pages        = {77-110},
    37033753}
    37043754
     
    42624312}
    42634313
     4314@misc{Matsakis17,
     4315    keywords    = {Rust, Chalk, PROLOG},
     4316    contributer = {a3moss@uwaterloo.ca},
     4317    author      = {Nicholas Matsakis},
     4318    title       = {Lowering {Rust} traits to logic},
     4319    month       = jan,
     4320    year        = 2017,
     4321    howpublished= {\href{http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/}
     4322                  {http://smallcultfollowing.com/\-babysteps/\-blog/\-2017/\-01/\-26/\-lowering-rust-traits-to-logic/}},
     4323    optnote     = {Accessed: 2019-01},
     4324}
     4325
    42644326@article{Cormack89,
    42654327    keywords    = {parsing, LR, error recovery},
     
    42944356    publisher   = {Motorola},
    42954357    year        = 1992,
     4358}
     4359
     4360@misc{Haberman16,
     4361    keywords    = {C++ template expansion},
     4362    contributer = {a3moss@uwaterloo.ca},
     4363    author      = {Josh Haberman},
     4364    title       = {Making arbitrarily-large binaries from fixed-size {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} code},
     4365    year        = 2016,
     4366    howpublished= {\href{http://blog.reverberate.org/2016/01/making-arbitrarily-large-binaries-from.html}
     4367                  {
     4368          {http://blog.reverberate.org/\-2016/\-01/\-making-arbitrarily-large-binaries-from.html}
     4369          }},
     4370    optnote     = {Accessed: 2016-09},
    42964371}
    42974372
Note: See TracChangeset for help on using the changeset viewer.