Ignore:
Timestamp:
May 24, 2019, 10:19:41 AM (7 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
Children:
d908563
Parents:
6a9d4b4 (diff), 292642a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into cleanup-dtors

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r6a9d4b4 r933f32f  
    330330    contributer = {pabuhr@plg},
    331331    author      = {Nissim Francez},
    332     title       = {Another Advantage of Key word Notation for Parameter Communication with Subprograms},
     332    title       = {Another Advantage of Keyword Notation for Parameter Communication with Subprograms},
    333333    journal     = cacm,
    334334    volume      = 20,
    … …  
    831831    year        = 2015,
    832832    howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    833                   {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
    834     optnote     = {Accessed: 2016-09},
     833                  {http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}},
     834}
     835
     836@misc{BoostThreads,
     837    keywords    = {Boost Thread Library},
     838    contributer = {pabuhr@plg},
     839    author      = {Anthony Williams and Vicente J. Botet Escriba},
     840    title       = {Boost Thread Library},
     841    year        = 2015,
     842    howpublished= {\href{https://www.boost.org/doc/libs/1_61_0/doc/html/thread.html}
     843                  {https://\-www.boost.org/\-doc/\-libs/\-1\_61\_0/\-doc/\-html/\-thread.html}},
    835844}
    836845
    … …  
    939948    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    940949    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
    941     optnote     = {Accessed: 2018-01-01},
    942950}
    943951
    … …  
    959967    year        = 2018,
    960968    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
    961     optnote     = {[Accessed May 2018]},
    962969}
    963970
    … …  
    966973    contributer = {pabuhr@plg},
    967974    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    968     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     975    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to {C}},
    969976    journal     = spe,
    970977    volume      = 48,
    … …  
    10861093}
    10871094
     1095@techreport{Prokopec11,
     1096  keywords = {ctrie, concurrent map},
     1097  contributer = {a3moss@uwaterloo.ca},
     1098  title={Cache-aware lock-free concurrent hash tries},
     1099  author={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
     1100  institution={EPFL},
     1101  year={2011}
     1102}
     1103
    10881104@article{Buhr85,
    10891105    keywords    = {goto, multi-exit loop},
    … …  
    11321148    year        = 1998,
    11331149    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
     1150}
     1151
     1152@phdthesis{Norrish98,
     1153  title={C formalised in HOL},
     1154  author={Norrish, Michael},
     1155  year={1998},
     1156  school={University of Cambridge}
     1157}
     1158
     1159@inproceedings{Tarditi18,
     1160    keywords    = {Checked C},
     1161    contributer = {a3moss@uwaterloo.ca},
     1162    author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
     1163    title       = {Checked C: Making C Safe by Extension},
     1164    booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
     1165    year        = {2018},
     1166    month       = {September},
     1167    pages       = {53-60},
     1168    publisher   = {IEEE},
     1169    url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
     1170}
     1171
     1172@misc{Clang,
     1173    keywords    = {clang},
     1174    contributer = {a3moss@uwaterloo.ca},
     1175    title       = {Clang: a {C} language family frontend for {LLVM}},
     1176    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}
    11341177}
    11351178
    … …  
    12341277}
    12351278
     1279@inproceedings{Odersky01,
     1280 keywords = {Scala},
     1281 contributer = {a3moss@uwaterloo.ca},
     1282 author = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
     1283 title = {Colored Local Type Inference},
     1284 booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     1285 series = {POPL '01},
     1286 year = {2001},
     1287 isbn = {1-58113-336-7},
     1288 location = {London, United Kingdom},
     1289 pages = {41--53},
     1290 numpages = {13},
     1291 url = {http://doi.acm.org/10.1145/360204.360207},
     1292 doi = {10.1145/360204.360207},
     1293 acmid = {360207},
     1294 publisher = {ACM},
     1295 address = {New York, NY, USA},
     1296}
     1297
    12361298@book{sml:commentary,
    12371299    author      = {Robin Milner and Mads Tofte},
    … …  
    12941356    journal     = sigplan,
    12951357    year        = 1986,
    1296     month       = oct, volume = 21, number = 10, pages = {19-28},
     1358    month       = oct,
     1359    volume      = 21,
     1360    number      = 10,
     1361    pages       = {19-28},
    12971362    note        = {Object Oriented Programming Workshop}
    12981363}
    … …  
    14591524    title       = {concurrent-locking},
    14601525    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
    1461     optnote     = {[Accessed April 2017]},
    14621526}
    14631527
    … …  
    16211685}
    16221686
     1687@inproceedings{Prokopec12,
     1688  keywords={ctrie, hash trie, concurrent map},
     1689  contributer={a3moss@uwaterloo.ca},
     1690  title={Concurrent tries with efficient non-blocking snapshots},
     1691  author={Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
     1692  booktitle={ACM SIGPLAN Notices},
     1693  volume={47},
     1694  number={8},
     1695  pages={151--160},
     1696  year={2012},
     1697  organization={ACM}
     1698}
     1699
    16231700@article{Buhr05a,
    16241701    keywords    = {concurrency, myths},
    … …  
    17471824    howpublished= {\href{https://www.airs.com/blog/archives/428}
    17481825                  {https://www.airs.com/\-blog/\-archives/\-428}},
    1749     optnote     = {Accessed: 2018-05},
    17501826}
    17511827
    … …  
    18431919    year        = 1965,
    18441920    note        = {Reprinted in \cite{Genuys68} pp. 43--112.}
     1921}
     1922
     1923@manual{C++20Coroutine19,
     1924    keywords    = {coroutine},
     1925    contributer = {pabuhr@plg},
     1926    title       = {Coroutines (C++20)},
     1927    organization= {cppreference.com},
     1928    month       = apr,
     1929    year        = 2019,
     1930    note        = {\href{https://en.cppreference.com/w/cpp/language/coroutines}{https://\-en.cppreference.com/\-w/\-cpp/\-language/\-coroutines}},
    18451931}
    18461932
    … …  
    22712357}
    22722358
     2359@article{Ritchie93,
     2360    keywords    = {C, history},
     2361    contributer = {pabuhr@plg},
     2362    author      = {Ritchie, Dennis M.},
     2363    title       = {The Development of the {C} Language},
     2364    journal     = sigplan,
     2365    volume      = 28,
     2366    number      = 3,
     2367    month       = mar,
     2368    year        = 1993,
     2369    pages       = {201--208},
     2370    url         = {http://doi.acm.org/10.1145/155360.155580},
     2371    publisher   = {ACM},
     2372    address     = {New York, NY, USA},
     2373}
     2374
    22732375@article{design,
    22742376    keywords    = {Smalltalk, designing classes},
    … …  
    22782380    journal     = joop,
    22792381    year        = 1988,
    2280     volume      = 1, number = 2, pages = {22-35},
     2382    volume      = 1,
     2383    number      = 2,
     2384    pages       = {22-35},
    22812385    comment     = {
    22822386        Abstract classes represent standard protocols.  ``It is better to
    … …  
    23632467    year        = 1990,
    23642468    pages       = {315-323}
     2469}
     2470
     2471@misc{Dotty-github,
     2472    keywords = {dotty,scala},
     2473    contributer = {a3moss@uwaterloo.ca},
     2474    author = {Martin Odersky},
     2475    title = {Dotty},
     2476    howpublished = {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
     2477    note = {Acessed: 2019-02-22}
    23652478}
    23662479
    … …  
    24702583    pages       = {325-361},
    24712584}
     2585
     2586@article{Tarjan75,
     2587 keywords = {union-find},
     2588 contributer = {a3moss@uwaterloo.ca},
     2589 author = {Tarjan, Robert Endre},
     2590 title = {Efficiency of a Good But Not Linear Set Union Algorithm},
     2591 journal = {J. ACM},
     2592 issue_date = {April 1975},
     2593 volume = {22},
     2594 number = {2},
     2595 month = apr,
     2596 year = {1975},
     2597 issn = {0004-5411},
     2598 pages = {215--225},
     2599 numpages = {11},
     2600 url = {http://doi.acm.org/10.1145/321879.321884},
     2601 doi = {10.1145/321879.321884},
     2602 acmid = {321884},
     2603 publisher = {ACM},
     2604 address = {New York, NY, USA},
     2605}
    24722606
    24732607@book{Eiffel,
    … …  
    29063040    year        = 2014,
    29073041    howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-4.7.2/\-gcc/\-C\-Extensions.html}},
    2908     optnote     = {Accessed: 2017-04-02},
    29093042}
    29103043
    … …  
    29903123}
    29913124
     3125@manual{WindowsFibers,
     3126    keywords    = {threads, fibers},
     3127    contributer = {pabuhr@plg},
     3128    author      = {Windows},
     3129    title       = {Fibers},
     3130    organization= {Microsoft, Windows Development Center},
     3131    address     = {\href{https://docs.microsoft.com/en-us/windows/desktop/ProcThread/fibers}{https://\-docs.microsoft.com/\-en-us/\-windows/\-desktop/\-ProcThread/\-fibers}},
     3132    year        = 2018,
     3133}
     3134
    29923135@inproceedings{F-bound,
    29933136    keywords    = {},
    … …  
    30373180}
    30383181
     3182@manual{Folly,
     3183    keywords    = {Folly},
     3184    contributer = {pabuhr@plg},
     3185    author      = {Folly},
     3186    title       = {Facebook Open-source Library},
     3187    organization= {Facebook},
     3188    address     = {\href{https://github.com/facebook/folly}{https://\-github.com/\-facebook/\-folly}},
     3189    year        = 2018,
     3190}
     3191
     3192@article{Leroy09,
     3193 keywords = {C formalization},
     3194 contributer = {a3moss@uwaterloo.ca},
     3195 author = {Leroy, Xavier},
     3196 title = {Formal Verification of a Realistic Compiler},
     3197 journal = {Commun. ACM},
     3198 issue_date = {July 2009},
     3199 volume = {52},
     3200 number = {7},
     3201 month = jul,
     3202 year = {2009},
     3203 issn = {0001-0782},
     3204 pages = {107--115},
     3205 numpages = {9},
     3206 url = {http://doi.acm.org/10.1145/1538788.1538814},
     3207 doi = {10.1145/1538788.1538814},
     3208 acmid = {1538814},
     3209 publisher = {ACM},
     3210 address = {New York, NY, USA},
     3211}
     3212
    30393213@manual{Fortran95,
    30403214    keywords    = {Fortran 95},
    … …  
    30573231    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    30583232    year        = 2010,
     3233}
     3234
     3235@manual{Fortran18,
     3236    keywords    = {ISO/IEC Fortran 10},
     3237    contributer = {pabuhr@plg},
     3238    author      = {Fortran18},
     3239    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
     3240    edition     = {4rd},
     3241    publisher   = {International Standard Organization},
     3242    address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
     3243    year        = 2018,
    30593244}
    30603245
    … …  
    33063491    year        = 2014,
    33073492    howpublished= {https://developer.gnome.org/gobject/stable/},
    3308     optnote     = {Accessed: 2017-04},
    33093493}
    33103494
    … …  
    36213805    year        = {1964},
    36223806    publisher   = {ACM}
     3807}
     3808
     3809@phdthesis{Barghi18,
     3810    keywords    = {concurrency, user threads, actors},
     3811    contributer = {pabuhr@plg},
     3812    author      = {Saman Barghi},
     3813    title       = {Improving the Performance of User-level Runtime Systems for Concurrent Applications},
     3814    school      = {School of Computer Science, University of Waterloo},
     3815    year        = 2018,
     3816    month       = sep,
     3817    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     3818    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
     3819}
     3820
     3821@article{Swift05,
     3822   contributer  = {pabuhr@plg},
     3823   author       = {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
     3824   title        = {Improving the Reliability of Commodity Operating Systems},
     3825   journal      = tocs,
     3826   volume       = 23,
     3827   number       = 1,
     3828   month        = feb,
     3829   year         = 2005,
     3830   pages        = {77-110},
    36233831}
    36243832
    … …  
    39274135}
    39284136
     4137@article{Morgado13,
     4138  keywords = {expression resolution},
     4139  contributer = {a3moss@uwaterloo.ca},
     4140  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
     4141  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
     4142  journal={Constraints},
     4143  volume={18},
     4144  number={4},
     4145  pages={478--534},
     4146  year={2013},
     4147  publisher={Springer}
     4148}
     4149
    39294150% J
    39304151                 
    … …  
    39484169    year        = 2015,
    39494170    edition     = {{J}ava {SE} 8},
     4171}
     4172
     4173@manual{Java11,
     4174    keywords    = {Java SE 11},
     4175    contributer = {pabuhr@plg},
     4176    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley and Daniel Smith},
     4177    title       = {{Java} Language Specification},
     4178    publisher   = {Oracle},
     4179    month       = sep,
     4180    year        = 2018,
     4181    edition     = {{J}ava {SE} 11},
     4182}
     4183
     4184@manual{JDK1.1,
     4185    keywords    = {JDK 1.1},
     4186    contributer = {pabuhr@plg},
     4187    author      = {{Multithreading Models}},
     4188    title       = {JDK 1.1 for Solaris Developer's Guide},
     4189    publisher   = {Oracle},
     4190    address     = {\href{https://docs.oracle.com/cd/E19455-01/806-3461/6jck06gqk/index.html#ch2mt-41}{https://\-docs.oracle.com/\-cd/\-E19455-01/\-806-3461/\-6jck06gqk/\-index.html\#ch2mt-41}},
     4191    year        = 2010,
    39504192}
    39514193
    … …  
    41294371}
    41304372
     4373@manual{libmill,
     4374    keywords    = {libmill},
     4375    contributer = {pabuhr@plg},
     4376    author      = {libmill},
     4377    title       = {{G}o-style concurrency in {C}, Version 1.18},
     4378    organization= {libmill},
     4379    address     = {\href{http://libmill.org/documentation.html}{http://\-libmill.org/\-documentation.html}},
     4380    month       = jan,
     4381    year        = 2017,
     4382}
     4383
    41314384@book{Weissman67,
    41324385    keywords    = {lisp},
    … …  
    41384391}
    41394392
     4393@article{Pierce00,
     4394 keywords = {Scala},
     4395 contributer = {a3moss@uwaterloo.ca},
     4396 author = {Pierce, Benjamin C. and Turner, David N.},
     4397 title = {Local Type Inference},
     4398 journal = {ACM Trans. Program. Lang. Syst.},
     4399 issue_date = {Jan. 2000},
     4400 volume = {22},
     4401 number = {1},
     4402 month = jan,
     4403 year = {2000},
     4404 issn = {0164-0925},
     4405 pages = {1--44},
     4406 numpages = {44},
     4407 url = {http://doi.acm.org/10.1145/345099.345100},
     4408 doi = {10.1145/345099.345100},
     4409 acmid = {345100},
     4410 publisher = {ACM},
     4411 address = {New York, NY, USA},
     4412 keywords = {polymorphism, subtyping, type inference},
     4413}
     4414
    41404415@article{Sundell08,
    41414416    keywords    = {lock free, deque},
    … …  
    41484423    year        = 2008,
    41494424    pages       = {1008-1020},
     4425}
     4426
     4427@misc{Matsakis17,
     4428    keywords    = {Rust, Chalk, PROLOG},
     4429    contributer = {a3moss@uwaterloo.ca},
     4430    author      = {Nicholas Matsakis},
     4431    title       = {Lowering {Rust} traits to logic},
     4432    month       = jan,
     4433    year        = 2017,
     4434    howpublished= {\href{http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/}
     4435                  {http://smallcultfollowing.com/\-babysteps/\-blog/\-2017/\-01/\-26/\-lowering-rust-traits-to-logic/}},
     4436    optnote     = {Accessed: 2019-01},
    41504437}
    41514438
    … …  
    41644451}
    41654452
     4453@manual{Lua,
     4454    keywords    = {Lua},
     4455    contributer = {pabuhr@plg},
     4456    author      = {Lua},
     4457    title       = {Lua 5.3 Reference Manual},
     4458    address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
     4459    year        = 2018,
     4460}
     4461
    41664462% M
    41674463
    … …  
    41734469    publisher   = {Motorola},
    41744470    year        = 1992,
     4471}
     4472
     4473@misc{Haberman16,
     4474    keywords    = {C++ template expansion},
     4475    contributer = {a3moss@uwaterloo.ca},
     4476    author      = {Josh Haberman},
     4477    title       = {Making arbitrarily-large binaries from fixed-size {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} code},
     4478    year        = 2016,
     4479    howpublished= {\href{http://blog.reverberate.org/2016/01/making-arbitrarily-large-binaries-from.html}
     4480                  {
     4481          {http://blog.reverberate.org/\-2016/\-01/\-making-arbitrarily-large-binaries-from.html}
     4482          }},
     4483    optnote     = {Accessed: 2016-09},
    41754484}
    41764485
    … …  
    44914800}
    44924801%    editor     = {Allen Kent and James G. Williams},
     4802
     4803@incollection{MPC,
     4804    keywords    = {user-level threading},
     4805    contributer = {pabuhr@plg},
     4806    author      = {Marc P\'erache and Herv\'e Jourdren and Raymond Namyst},
     4807    title       = {MPC: A Unified Parallel Runtime for Clusters of {NUMA} Machines},
     4808    booktitle   = {Euro-Par 2008},
     4809    pages       = {329-342},
     4810    publisher   = {Springer},
     4811    address     = {Berlin, Heidelberg},
     4812    year        = 2008,
     4813    volume      = 5168,
     4814    series      = {Lecture Notes in Computer Science},
     4815}
    44934816
    44944817@manual{MPI,
    … …  
    49175240    year        = 2014,
    49185241    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
    4919     optnote     = {Accessed: 2018-03}
    49205242}
    49215243
    … …  
    49275249    year        = 2015,
    49285250    howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://\-developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
    4929     optnote     = {Accessed: 2017-04}
    49305251}
    49315252
    … …  
    50625383    note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
    50635384}
     5385
     5386@inproceedings{Krebbers14,
     5387 keywords = {c formalization},
     5388 contributer = {a3moss@uwaterloo.ca},
     5389 author = {Krebbers, Robbert},
     5390 title = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
     5391 booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     5392 series = {POPL '14},
     5393 year = {2014},
     5394 isbn = {978-1-4503-2544-8},
     5395 location = {San Diego, California, USA},
     5396 pages = {101--112},
     5397 numpages = {12},
     5398 url = {http://doi.acm.org/10.1145/2535838.2535878},
     5399 doi = {10.1145/2535838.2535878},
     5400 acmid = {2535878},
     5401 publisher = {ACM},
     5402 address = {New York, NY, USA},
     5403}
    50645404
    50655405@book{Deitel04,
    … …  
    54405780    year        = 2012,
    54415781    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
    5442     optnote     = {Accessed: 2013-10-4}
    54435782}
    54445783
    … …  
    57646103    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    57656104    year        = 2014,
     6105}
     6106
     6107@manual{C++17,
     6108    keywords    = {ISO/IEC C++ 17},
     6109    contributer = {pabuhr@plg},
     6110    key         = {C++17},
     6111    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
     6112    edition     = {5th},
     6113    publisher   = {International Standard Organization},
     6114    address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
     6115    year        = 2017,
    57666116}
    57676117
    … …  
    59176267    institution = {Carnegie Mellon University},
    59186268    year        = 1991,
    5919     month       = feb, number = "CMU-CS-91-106",
     6269    month       = feb,
     6270    number      = {CMU-CS-91-106},
    59206271    annote      = {
    59216272        Discusses a typed lambda calculus with
    … …  
    59746325    journal     = sigplan,
    59756326    year        = 1988,
    5976     month       = jul, volume = 23, number = 7, pages = {260-267},
    5977     note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language
    5978          Design and Implementation},
     6327    month       = jul,
     6328    volume      = 23,
     6329    number      = 7,
     6330    pages       = {260-267},
     6331    note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
    59796332    abstract    = {
    59806333        This paper deals with the integration of an efficient asynchronous
    … …  
    60266379}
    60276380
     6381@misc{Pthreads,
     6382    keywords    = {pthreads, C concurrency},
     6383    contributer = {pabuhr@plg},
     6384    key         = {pthreads},
     6385    title       = {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
     6386    author      = {IEEE and {The Open Group}},
     6387    year        = 2018,
     6388    howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
     6389                  {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
     6390}
     6391
    60286392@manual{Python,
    60296393    keywords    = {Python},
    60306394    contributer = {pabuhr@plg},
    6031     title       = {Python Reference Manual, Release 2.5},
    6032     author      = {Guido van Rossum},
     6395    author      = {Python},
     6396    title       = {Python Language Reference, Release 3.7.2},
    60336397    organization= {Python Software Foundation},
    6034     month       = sep,
    6035     year        = 2006,
    6036     note        = {Fred L. Drake, Jr., editor},
     6398    address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
     6399    year        = 2018,
    60376400}
    60386401
    60396402% Q
     6403
     6404@inproceedings{Qthreads,
     6405    keywords    = {user-level threading},
     6406    author      = {Kyle B. Wheeler and Richard C. Murphy and Douglas Thain},
     6407    title       = {Qthreads: An API for Programming with Millions of Lightweight Threads},
     6408    booktitle   = {International Symposium on Parallel and Distributed Processing},
     6409    organization= {IEEE},
     6410    address     = {Miami, FL, USA},
     6411    month       = apr,
     6412    year        = 2008,
     6413}
    60406414
    60416415@article{Grossman06,
    … …  
    60746448}
    60756449
     6450@manual{Quasar,
     6451    keywords    = {Quasar},
     6452    contributer = {pabuhr@plg},
     6453    author      = {Quasar},
     6454    title       = {Quasar Documentation, Release 0.8.0},
     6455    organization= {Parallel Universe},
     6456    address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
     6457    year        = 2018,
     6458}
     6459
    60766460% R
    60776461
    … …  
    61876571    number      = 10,
    61886572    pages       = {27-32},
     6573}
     6574
     6575@article{Hesselink06,
     6576    author      = {Wim H. Hesselink},
     6577    title       = {Refinement Verification of the Lazy Caching Algorithm},
     6578    journal     = acta,
     6579    year        = 2006,
     6580    month       = oct,
     6581    volume      = 43,
     6582    number      = 3,
     6583    pages       = {195--222},
    61896584}
    61906585
    … …  
    63256720}
    63266721
     6722@manual{Ruby,
     6723    keywords    = {Ruby},
     6724    contributer = {pabuhr@plg},
     6725    author      = {Ruby},
     6726    title       = {Ruby Documentation, Release 2.6.0},
     6727    organization= {Python Software Foundation},
     6728    address     = {\href{https://www.ruby-lang.org/en/documentation}{https://\-www.ruby-lang.org/\-en/\-documentation}},
     6729    year        = 2018,
     6730}
     6731
    63276732% S
    63286733
    … …  
    70617466}
    70627467
     7468@article{SysVABI,
     7469  keywords = {System V ABI},
     7470  contributer = {a3moss@uwaterloo.ca},
     7471  title={System {V} application binary interface},
     7472  author={Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
     7473  journal={AMD64 Architecture Processor Supplement, Draft v0},
     7474  volume={99},
     7475  year={2013}
     7476}
     7477
    70637478% T
    70647479
    … …  
    71157530    author      = {{TIOBE Index}},
    71167531    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    7117     optnote     = {Accessed: 2018-09},
     7532}
     7533
     7534@misc{ThreadModel,
     7535    contributer = {pabuhr@plg},
     7536    key         = {ThreadModel},
     7537    title       = {Thread (computing)},
     7538    author      = {{Threading Model}},
     7539    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
    71187540}
    71197541
    … …  
    72777699}
    72787700
     7701@techreport{Black90,
     7702  title={Typechecking polymorphism in {Emerald}},
     7703  author={Black, Andrew P and Hutchinson, Norman C},
     7704  year={1990},
     7705  institution={Cambridge Research Laboratory, Digital Equipment Corporation}
     7706}
     7707
    72797708@article{Cormack90,
    72807709    keywords    = {polymorphism},
    … …  
    74477876    year        = 2017,
    74487877    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
    7449     optnote     = {Accessed: 2017-04}
    74507878}
    74517879
    … …  
    76218049% Y
    76228050
     8051@article{Boehm12,
     8052    keywords    = {memory model, race condition},
     8053    contributer = {pabuhr@plg},
     8054    author      = {Boehm, Hans-J. and Adve, Sarita V.},
     8055    title       = {You Don'T Know Jack About Shared Variables or Memory Models},
     8056    journal     = cacm,
     8057    volume      = 55,
     8058    number      = 2,
     8059    month       = feb,
     8060    year        = 2012,
     8061    pages       = {48--54},
     8062    publisher   = {ACM},
     8063    address     = {New York, NY, USA},
     8064}
     8065
    76238066% Z
    76248067
Note: See TracChangeset for help on using the changeset viewer.