Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    re0d19f8 r2185df1  
    330330    contributer = {pabuhr@plg},
    331331    author      = {Nissim Francez},
    332     title       = {Another Advantage of Keyword Notation for Parameter Communication with Subprograms},
     332    title       = {Another Advantage of Key word 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 }
    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}},
     833                  {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
     834    optnote     = {Accessed: 2016-09},
    844835}
    845836
    … …  
    948939    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    949940    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
     941    optnote     = {Accessed: 2018-01-01},
    950942}
    951943
    … …  
    967959    year        = 2018,
    968960    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
     961    optnote     = {[Accessed May 2018]},
    969962}
    970963
    … …  
    973966    contributer = {pabuhr@plg},
    974967    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    975     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to {C}},
     968    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
    976969    journal     = spe,
    977970    volume      = 48,
    … …  
    10931086}
    10941087
    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 
    11041088@article{Buhr85,
    11051089    keywords    = {goto, multi-exit loop},
    … …  
    11481132    year        = 1998,
    11491133    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/}}
    11771134}
    11781135
    … …  
    12771234}
    12781235
    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 
    12981236@book{sml:commentary,
    12991237    author      = {Robin Milner and Mads Tofte},
    … …  
    13561294    journal     = sigplan,
    13571295    year        = 1986,
    1358     month       = oct,
    1359     volume      = 21,
    1360     number      = 10,
    1361     pages       = {19-28},
     1296    month       = oct, volume = 21, number = 10, pages = {19-28},
    13621297    note        = {Object Oriented Programming Workshop}
    13631298}
    … …  
    15241459    title       = {concurrent-locking},
    15251460    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
     1461    optnote     = {[Accessed April 2017]},
    15261462}
    15271463
    … …  
    16851621}
    16861622
    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 
    17001623@article{Buhr05a,
    17011624    keywords    = {concurrency, myths},
    … …  
    18241747    howpublished= {\href{https://www.airs.com/blog/archives/428}
    18251748                  {https://www.airs.com/\-blog/\-archives/\-428}},
     1749    optnote     = {Accessed: 2018-05},
    18261750}
    18271751
    … …  
    19191843    year        = 1965,
    19201844    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}},
    19311845}
    19321846
    … …  
    23572271}
    23582272
    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 
    23752273@article{design,
    23762274    keywords    = {Smalltalk, designing classes},
    … …  
    23802278    journal     = joop,
    23812279    year        = 1988,
    2382     volume      = 1,
    2383     number      = 2,
    2384     pages       = {22-35},
     2280    volume      = 1, number = 2, pages = {22-35},
    23852281    comment     = {
    23862282        Abstract classes represent standard protocols.  ``It is better to
    … …  
    24672363    year        = 1990,
    24682364    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}
    24782365}
    24792366
    … …  
    25832470    pages       = {325-361},
    25842471}
    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 }
    26062472
    26072473@book{Eiffel,
    … …  
    30402906    year        = 2014,
    30412907    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},
    30422909}
    30432910
    … …  
    31232990}
    31242991
    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 
    31352992@inproceedings{F-bound,
    31362993    keywords    = {},
    … …  
    31803037}
    31813038
    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 
    32133039@manual{Fortran95,
    32143040    keywords    = {Fortran 95},
    … …  
    32313057    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    32323058    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,
    32443059}
    32453060
    … …  
    34913306    year        = 2014,
    34923307    howpublished= {https://developer.gnome.org/gobject/stable/},
     3308    optnote     = {Accessed: 2017-04},
    34933309}
    34943310
    … …  
    38053621    year        = {1964},
    38063622    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},
    38313623}
    38323624
    … …  
    41353927}
    41363928
    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 
    41503929% J
    41513930                 
    … …  
    41693948    year        = 2015,
    41703949    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,
    41923950}
    41933951
    … …  
    43714129}
    43724130
    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 
    43844131@book{Weissman67,
    43854132    keywords    = {lisp},
    … …  
    43914138}
    43924139
    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 
    44154140@article{Sundell08,
    44164141    keywords    = {lock free, deque},
    … …  
    44234148    year        = 2008,
    44244149    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},
    44374150}
    44384151
    … …  
    44514164}
    44524165
    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 
    44624166% M
    44634167
    … …  
    44694173    publisher   = {Motorola},
    44704174    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},
    44844175}
    44854176
    … …  
    48004491}
    48014492%    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 }
    48164493
    48174494@manual{MPI,
    … …  
    52404917    year        = 2014,
    52414918    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}
    52424920}
    52434921
    … …  
    52494927    year        = 2015,
    52504928    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}
    52514930}
    52524931
    … …  
    53835062    note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
    53845063}
    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 }
    54045064
    54055065@book{Deitel04,
    … …  
    57805440    year        = 2012,
    57815441    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}
    57825443}
    57835444
    … …  
    61035764    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    61045765    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,
    61165766}
    61175767
    … …  
    62675917    institution = {Carnegie Mellon University},
    62685918    year        = 1991,
    6269     month       = feb,
    6270     number      = {CMU-CS-91-106},
     5919    month       = feb, number = "CMU-CS-91-106",
    62715920    annote      = {
    62725921        Discusses a typed lambda calculus with
    … …  
    63255974    journal     = sigplan,
    63265975    year        = 1988,
    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},
     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},
    63325979    abstract    = {
    63335980        This paper deals with the integration of an efficient asynchronous
    … …  
    63796026}
    63806027
    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 
    63926028@manual{Python,
    63936029    keywords    = {Python},
    63946030    contributer = {pabuhr@plg},
    6395     author      = {Python},
    6396     title       = {Python Language Reference, Release 3.7.2},
     6031    title       = {Python Reference Manual, Release 2.5},
     6032    author      = {Guido van Rossum},
    63976033    organization= {Python Software Foundation},
    6398     address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
    6399     year        = 2018,
     6034    month       = sep,
     6035    year        = 2006,
     6036    note        = {Fred L. Drake, Jr., editor},
    64006037}
    64016038
    64026039% 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 }
    64146040
    64156041@article{Grossman06,
    … …  
    64486074}
    64496075
    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 
    64606076% R
    64616077
    … …  
    65716187    number      = 10,
    65726188    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},
    65846189}
    65856190
    … …  
    67206325}
    67216326
    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 
    67326327% S
    67336328
    … …  
    74667061}
    74677062
    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 
    74787063% T
    74797064
    … …  
    75307115    author      = {{TIOBE Index}},
    75317116    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    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)}},
     7117    optnote     = {Accessed: 2018-09},
    75407118}
    75417119
    … …  
    76997277}
    77007278
    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 
    77087279@article{Cormack90,
    77097280    keywords    = {polymorphism},
    … …  
    78767447    year        = 2017,
    78777448    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
     7449    optnote     = {Accessed: 2017-04}
    78787450}
    78797451
    … …  
    80497621% Y
    80507622
    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 
    80667623% Z
    80677624
Note: See TracChangeset for help on using the changeset viewer.