Changes in doc/bibliography/pl.bib [9be2b60:1c35c78]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r9be2b60 r1c35c78 1146 1146 author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael}, 1147 1147 title = {Checked C: Making C Safe by Extension}, 1148 booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, 1148 booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, 1149 publisher = {IEEE}, 1149 1150 year = {2018}, 1150 month = {September},1151 month = seep, 1151 1152 pages = {53-60}, 1152 publisher = {IEEE},1153 1153 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}1162 1154 } 1163 1155 … … 2412 2404 } 2413 2405 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 2423 2406 @unpublished{Duff83, 2424 2407 keywords = {C, switch statement, control flow}, … … 2526 2509 pages = {325-361}, 2527 2510 } 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 }2549 2511 2550 2512 @book{Eiffel, … … 3739 3701 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 3740 3702 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},3753 3703 } 3754 3704 … … 4312 4262 } 4313 4263 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 4326 4264 @article{Cormack89, 4327 4265 keywords = {parsing, LR, error recovery}, … … 4356 4294 publisher = {Motorola}, 4357 4295 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},4371 4296 } 4372 4297
Note: See TracChangeset
for help on using the changeset viewer.