Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    rf9bf142 r251454a0  
    2121%  toplas: ACM Trans. on Prog. Lang. & Sys.
    2222%  tcs: Theoretical Computer Science
    23 
    24 string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    25 @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    26 string{ieeese="IEEE Transactions on Software Engineering"}
    27 @string{ieeese="IEEE Trans. Softw. Eng."}
    28 string{spe="Software---\-Practice and Experience"}
    29 @string{spe="Softw. Pract. Exper."}
    30 string{ccpe="Concurrency and Computation: Practice and Experience"}
    31 @string{ccpe="Concurrency Comput.: Pract. Exper."}
    32 string{sigplan="SIGPLAN Notices"}
    33 @string{sigplan="SIGPLAN Not."}
    34 string{joop="Journal of Object-Oriented Programming"}
    35 @string{joop="J. of Object-Oriented Program."}
     23@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
     24% @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
     25@string{ieeese="IEEE Transactions on Software Engineering"}
     26% @string{ieeese="IEEE Trans. Softw. Eng."}
     27@string{spe="Software---\-Practice and Experience"}
     28% @string{spe="Softw. Pract. Exp."}
     29@string{ccpe="Concurrency and Computation: Practice and Experience"}
     30% @string{ccpe="Concurrency Comput: Pract Experience"}
     31@string{sigplan="SIGPLAN Notices"}
     32% @string{sigplan="SIGPLAN Not."}
     33@string{joop="Journal of Object-Oriented Programming"}
     34% @string{joop="J. of Object-Oriented Program."}
    3635@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
    3736@string{osr="Operating Systems Review"}
    3837@string{pldi="Programming Language Design and Implementation"}
    3938@string{toplas="Transactions on Programming Languages and Systems"}
    40 string{mathann="Mathematische Annalen"}
    41 @string{mathann="Math. Ann."}
     39@string{mathann="Mathematische Annalen"}
     40% @string{mathann="Math. Ann."}
    4241
    4342% A
    … …  
    330329    contributer = {pabuhr@plg},
    331330    author      = {Nissim Francez},
    332     title       = {Another Advantage of Keyword Notation for Parameter Communication with Subprograms},
     331    title       = {Another Advantage of Key word Notation for Parameter Communication with Subprograms},
    333332    journal     = cacm,
    334333    volume      = 20,
    … …  
    567566}
    568567
    569 @inproceedings {Qin18,
    570     author      = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout},
    571     title       = {Arachne: Core-Aware Thread Management},
    572     booktitle   = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
    573     year        = {2018},
    574     address     = {Carlsbad, CA},
    575     pages       = {145-160},
    576     publisher   = {{USENIX} Association},
    577     note        = {\href{https://www.usenix.org/conference/osdi18/presentation/qin}{https://\-www.usenix.org/\-conference/\-osdi18/\-presentation/\-qin}},
    578 }
    579 
    580568@article{Kessels82,
    581569    keywords    = {concurrency, critical section},
    … …  
    665653    author      = {Joung, Yuh-Jzer},
    666654    title       = {Asynchronous group mutual exclusion},
    667     journal     = {Dist. Comput.},
    668     optjournal  = {Distributed Computing},
     655    journal     = {Distributed Computing},
    669656    year        = {2000},
    670657    month       = {Nov},
    … …  
    713700
    714701% B
    715 
    716 @article{Michael13,
    717     contributer = {pabuhr@plg},
    718     author      = {Maged M. Michael},
    719     title       = {The Balancing Act of Choosing Nonblocking Features},
    720     journal     = cacm,
    721     volume      = 56,
    722     number      = 9,
    723     month       = sep,
    724     year        = 2013,
    725     pages       = {46--53},
    726     publisher   = {ACM},
    727     address     = {New York, NY, USA},
    728 }
    729702
    730703@incollection{beta:old,
    … …  
    809782        time computable inheritance hierarchy.
    810783    },
    811     comment     = {
     784    comment = {
    812785        Classes are predicates; if object {\tt o} is in class {\tt C}, then
    813786        {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
    … …  
    831804    year        = 2015,
    832805    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}},
     806                  {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
     807    optnote     = {Accessed: 2016-09},
    844808}
    845809
    … …  
    852816    month       = oct,
    853817    type        = {Diplomarbeit},
    854     note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/KrischerThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-KrischerThesis.pdf}},
     818    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-KrischerThesis.ps.gz}}},
    855819}
    856820
    … …  
    943907}
    944908
    945 @article{Moss18,
    946     keywords    = {type systems, polymorphism, tuples, Cforall},
    947     contributer = {pabuhr@plg},
    948     author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    949     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to {C}},
    950     journal     = spe,
    951     volume      = 48,
    952     number      = 12,
    953     month       = dec,
    954     year        = 2018,
    955     pages       = {2111-2146},
    956     note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    957 }
    958 
    959 @misc{CforallBenchMarks,
    960     contributer = {pabuhr@plg},
    961     key         = {Cforall Benchmarks},
    962     author      = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}},
    963     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}},
    964 }
    965 
    966909@misc{Cforall,
    967     contributer = {pabuhr@plg},
    968910    key         = {Cforall},
    969     author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    970     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
    971 }
    972 
    973 @misc{CFAStackEvaluation,
    974     contributer = {a3moss@plg},
    975     author      = {Aaron Moss},
    976     title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
    977     year        = 2018,
    978     howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
     911    title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     912    howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
     913    optnote     = {Accessed: 2018-01-01},
    979914}
    980915
    … …  
    990925}
    991926
    992 @phdthesis{Moss19,
    993     keywords    = {type system, generic type, resolution algorithm, type environment, Cforall},
     927@misc{CFAStackEvaluation,
    994928    author      = {Aaron Moss},
    995     title       = {\textsf{C}$\mathbf{\forall}$ Type System Implementation},
    996     school      = {School of Computer Science, University of Waterloo},
    997     year        = 2019,
    998     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    999     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/14584}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14584}},
     929    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
     930    year        = 2018,
     931    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/evaluation.zip}{https://plg.uwaterloo.ca/\-\-$\sim$cforall/\-StackEvaluation.zip}},
     932    optnote     = {[Accessed May 2018]},
     933}
     934
     935@article{Moss18,
     936    keywords    = {concurrency, C++},
     937    contributer = {pabuhr@plg},
     938    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
     939    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     940    year        = 2018,
     941    journal     = spe,
     942    note        = {Accepted, to appear},
    1000943}
    1001944
    … …  
    1019962    comment     = {
    1020963        The evidence given is thin.
    1021     },
     964        }
    1022965}
    1023966
    … …  
    1029972    journal     = {Dr. Dobb's Journal of Software Tools},
    1030973    year        = 1989,
    1031     month       = feb,
    1032     volume      = 14,
    1033     number      = 2,
    1034     pages       = {45-51},
     974    month       = feb, volume = 14, number = 2, pages = {45-51},
    1035975    comment     = {
    1036976       A light-weight multitasking kernel for MS-DOS.  A task\_control
    … …  
    11081048    year        = 2006,
    11091049    edition     = {4th},
    1110 }
    1111 
    1112 @techreport{Prokopec11,
    1113     keywords    = {ctrie, concurrent map},
    1114     contributer = {a3moss@uwaterloo.ca},
    1115     title       ={Cache-aware lock-free concurrent hash tries},
    1116     author      ={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
    1117     institution ={EPFL},
    1118     year        ={2011}
    11191050}
    11201051
    … …  
    11531084    month       = oct,
    11541085    year        = 2001,
    1155     note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-cfa.ps}},
     1086    note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-\char`\~cforall/\-cfa.ps}},
    11561087}
    11571088
    … …  
    11651096    year        = 1998,
    11661097    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
    1167 }
    1168 
    1169 @phdthesis{Norrish98,
    1170     title       = {C formalised in HOL},
    1171     author      = {Norrish, Michael},
    1172     year        = {1998},
    1173     school      = {University of Cambridge}
    1174 }
    1175 
    1176 @inproceedings{Tarditi18,
    1177     keywords    = {Checked C},
    1178     contributer = {a3moss@uwaterloo.ca},
    1179     author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
    1180     title       = {Checked C: Making C Safe by Extension},
    1181     booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
    1182     publisher   = {IEEE},
    1183     year        = {2018},
    1184     month       = sep,
    1185     pages       = {53-60},
    1186     url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
    1187 }
    1188 
    1189 @misc{Clang,
    1190     keywords    = {clang},
    1191     contributer = {a3moss@uwaterloo.ca},
    1192     title       = {Clang: a {C} language family frontend for {LLVM}},
    1193     howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}
    11941098}
    11951099
    … …  
    12791183        that is ``compiled''.
    12801184    },
     1185    comment     = {
     1186        Imagine the program, including the subroutines, spread out over a
     1187        table, with the compiler dropping Jello on the parts as they are
     1188        compiled.  At first little drops appear in seemingly random places.
     1189        These get bigger and combine with other drops to form growing
     1190        globs.  When two globs meet, ripples will go out through each as
     1191        they adjust to each other's presence, although the parts of the
     1192        globs that formed first are less affected by the ripples.  When
     1193        compilation is complete, there is one congealed mass.
     1194    }
    12811195}
    12821196
    … …  
    12921206    number      = 11,
    12931207    pages       = {853-860},
    1294 }
    1295 
    1296 @inproceedings{Odersky01,
    1297     keywords    = {Scala},
    1298     contributer = {a3moss@uwaterloo.ca},
    1299     author      = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
    1300     title       = {Colored Local Type Inference},
    1301     booktitle   = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    1302     series      = {POPL '01},
    1303     year        = {2001},
    1304     isbn        = {1-58113-336-7},
    1305     location    = {London, United Kingdom},
    1306     pages       = {41--53},
    1307     numpages    = {13},
    1308     url         = {http://doi.acm.org/10.1145/360204.360207},
    1309     doi         = {10.1145/360204.360207},
    1310     acmid       = {360207},
    1311     publisher   = {ACM},
    1312     address     = {New York, NY, USA},
    13131208}
    13141209
    … …  
    13731268    journal     = sigplan,
    13741269    year        = 1986,
    1375     month       = oct,
    1376     volume      = 21,
    1377     number      = 10,
    1378     pages       = {19-28},
     1270    month       = oct, volume = 21, number = 10, pages = {19-28},
    13791271    note        = {Object Oriented Programming Workshop}
    13801272}
    … …  
    14961388        Process-valued expressions and process variables.  Processes have
    14971389        execution priority: Create {\em process-type-name}(args) [with
    1498         priority(p)], and the priority can be changed on the fly.  Complicated
    1499         guard/screen structure on accept: accept {\em transaction}(param names)
     1390        priority(p)],
     1391        and the priority can be changed on the fly.  Complicated guard/
     1392        screen structure on accept: accept {\em transaction}(param names)
    15001393        [suchthat (exp)] [by (exp)] [compoundstatement].  Accepts cannot
    15011394        appear in functions!  Can specify timeouts on transaction calls.
    … …  
    15321425                Many errors in the two solutions.
    15331426    }
    1534 }
    1535 
    1536 @misc{NThreadCode13,
    1537     keywords    = {N-thread software-solution mutual exclusion},
    1538     contributer = {pabuhr@plg},
    1539     key         = {concurrent locking},
    1540     author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
    1541     title       = {concurrent-locking},
    1542     howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
    15431427}
    15441428
    … …  
    16071491}
    16081492
    1609 @manual{uC++,
     1493@techreport{uC++,
    16101494    keywords    = {C++, concurrency, light-weight process, shared memory},
    16111495    contributer = {pabuhr@plg},
    1612     key         = {uC++},
    16131496    author      = {Peter A. Buhr},
    16141497    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    1615     organization= {University of Waterloo},
    1616     month       = sep,
    1617     year        = 2018,
    1618     note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
     1498    institution = {School of Computer Science, University of Waterloo},
     1499    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1500    month       = dec,
     1501    year        = 2017,
     1502    note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-7.0.0.sh}{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-7.0.0.sh}},
    16191503}
    16201504
    … …  
    16831567}
    16841568
    1685 @mastersthesis{Sun15,
    1686     author      = {Sun, Xianda},
    1687     title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
    1688     school      = {School of Computer Sc., University of Waterloo},
    1689     year        = 2015,
    1690     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    1691     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/10013}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-10013}},
    1692 }
    1693 
    16941569@book{Andrews91:book,
    16951570    keywords    = {concurrency},
    … …  
    17001575    address     = {Redwood City},
    17011576    year        = 1991,
    1702 }
    1703 
    1704 @inproceedings{Prokopec12,
    1705     keywords    = {ctrie, hash trie, concurrent map},
    1706     contributer = {a3moss@uwaterloo.ca},
    1707     title       = {Concurrent tries with efficient non-blocking snapshots},
    1708     author      = {Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
    1709     booktitle   = {ACM SIGPLAN Notices},
    1710     volume      = {47},
    1711     number      = {8},
    1712     pages       = {151--160},
    1713     year        = {2012},
    1714     organization={ACM}
    17151577}
    17161578
    … …  
    17291591
    17301592@mastersthesis{Delisle18,
    1731     keywords    = {concurrency, Cforall},
    1732     contributer = {pabuhr@plg},
    1733     author      = {Thierry Delisle},
     1593    author      = {Thierry Delisle },
    17341594    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    17351595    school      = {School of Computer Science, University of Waterloo},
    17361596    year        = 2018,
    1737     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     1597    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    17381598    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
    1739 }
    1740 
    1741 @article{Delisle19,
    1742     keywords    = {concurrency, Cforall},
    1743     contributer = {pabuhr@plg},
    1744     author      = {Thierry Delisle and Peter A. Buhr},
    1745     title       = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$},
    1746     year        = 2019,
    1747     journal     = spe,
    1748     pages       = {1-33},
    1749     note        = {submitted},
    17501599}
    17511600
    … …  
    18411690    howpublished= {\href{https://www.airs.com/blog/archives/428}
    18421691                  {https://www.airs.com/\-blog/\-archives/\-428}},
     1692    optnote     = {Accessed: 2018-05},
    18431693}
    18441694
    … …  
    19211771    author      = {Glen Ditchfield},
    19221772    title       = {Conversions for \textsf{C}$\mathbf{\forall}$},
    1923     note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-Conversions/\-index.html}},
     1773    note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
    19241774    month       = {Nov},
    19251775    year        = {2002},
    … …  
    19361786    year        = 1965,
    19371787    note        = {Reprinted in \cite{Genuys68} pp. 43--112.}
    1938 }
    1939 
    1940 @inproceedings{Adya02,
    1941     contributer = {pabuhr@plg},
    1942     author      = {Adya, Atul and Howell, Jon and Theimer, Marvin and Bolosky, William J. and Douceur, John R.},
    1943     title       = {Cooperative Task Management Without Manual Stack Management},
    1944     booktitle   = {Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference},
    1945     series      = {ATEC '02},
    1946     year        = {2002},
    1947     pages       = {289-302},
    1948     publisher   = {USENIX Association},
    1949     address     = {Berkeley, CA, USA},
    1950 }
    1951 
    1952 @misc{CoroutineTS,
    1953     keywords    = {Coroutines TS, C++20, working draft},
    1954     contributer = {pabuhr@plg},
    1955     author      = {Gor Nishanov},
    1956     title       = {Merge Coroutines TS into C++20 Working Draft},
    1957     year        = 2019,
    1958     month       = feb,
    1959     howpublished= {\href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0912r5.html}
    1960                   {http://\-www.open-std.org/\-jtc1/\-sc22/\-wg21/\-docs/\-papers/\-2019/p0912r5.html}},
    1961 }
    1962 
    1963 @manual{C++20Coroutine19,
    1964     keywords    = {coroutine},
    1965     contributer = {pabuhr@plg},
    1966     title       = {Coroutines (C++20)},
    1967     organization= {cppreference.com},
    1968     month       = apr,
    1969     year        = 2019,
    1970     note        = {\href{https://en.cppreference.com/w/cpp/language/coroutines}{https://\-en.cppreference.com/\-w/\-cpp/\-language/\-coroutines}},
    19711788}
    19721789
    … …  
    20161833}
    20171834
    2018 @misc{CS343,
    2019     keywords    = {uC++ teaching},
    2020     contributer = {pabuhr@plg},
    2021     key         = {Peter Buhr},
    2022     title       = {CS343},
    2023     year        = 2018,
    2024     howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-$\sim$cs343}},
     1835@article{Moore75,
     1836    keywords    = {approximation methods, integrated circuits},
     1837    contributer = {pabuhr@plg},
     1838    author      = {Gordon E. Moore},
     1839    title       = {Progress in Digital Integrated Electronics},
     1840    journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
     1841    year        = 1975,
     1842    pages       = {11-13},
    20251843}
    20261844
    … …  
    20811899    note        = {Svensk Standard SS 63 61 14},
    20821900    year        = 1987,
    2083     abstract    = {Standard for the programming language SIMULA. Written in English.}
    2084 }
    2085 
    2086 @article{Galil91,
    2087     keywords    = {union-find},
    2088     contributer = {a3moss@uwaterloo.ca},
    2089     title       = {Data structures and algorithms for disjoint set union problems},
    2090     author      = {Galil, Zvi and Italiano, Giuseppe F},
    2091     journal     = {ACM Computing Surveys (CSUR)},
    2092     volume      = 23,
    2093     number      = 3,
    2094     pages       = {319--344},
    2095     year        = 1991,
    2096     publisher   = {ACM},
     1901    abstract    = {
     1902        Standard for the programming language SIMULA.  Written in English.
     1903    }
    20971904}
    20981905
    … …  
    22342041    year        = {1998},
    22352042    pages       = {393-407},
    2236 }
    2237 
    2238 @book{Aho74,
    2239     keywords    = {algorithms, textbook, union-find},
    2240     contributer = {a3moss@uwaterloo.ca},
    2241     title       = {The Design and Analysis of Computer Algorithms},
    2242     author      = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
    2243     year        = {1974},
    2244     publisher   = {Addison-Wesley},
    2245     address     = {Reading, MA, USA}
    22462043}
    22472044
    … …  
    23972194}
    23982195
    2399 @article{Ritchie93,
    2400     keywords    = {C, history},
    2401     contributer = {pabuhr@plg},
    2402     author      = {Ritchie, Dennis M.},
    2403     title       = {The Development of the {C} Language},
    2404     journal     = sigplan,
    2405     volume      = 28,
    2406     number      = 3,
    2407     month       = mar,
    2408     year        = 1993,
    2409     pages       = {201--208},
    2410     url         = {http://doi.acm.org/10.1145/155360.155580},
    2411     publisher   = {ACM},
    2412     address     = {New York, NY, USA},
    2413 }
    2414 
    24152196@article{design,
    24162197    keywords    = {Smalltalk, designing classes},
    … …  
    24202201    journal     = joop,
    24212202    year        = 1988,
    2422     volume      = 1,
    2423     number      = 2,
    2424     pages       = {22-35},
     2203    volume      = 1, number = 2, pages = {22-35},
    24252204    comment     = {
    24262205        Abstract classes represent standard protocols.  ``It is better to
    … …  
    25072286    year        = 1990,
    25082287    pages       = {315-323}
    2509 }
    2510 
    2511 @misc{Dotty-github,
    2512     keywords    = {dotty,scala},
    2513     contributer = {a3moss@uwaterloo.ca},
    2514     author      = {Martin Odersky},
    2515     title       = {Dotty},
    2516     howpublished= {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
    2517     note        = {Acessed: 2019-02-22}
    25182288}
    25192289
    … …  
    26242394}
    26252395
    2626 @article{Tarjan75,
    2627     keywords    = {union-find},
    2628     contributer = {a3moss@uwaterloo.ca},
    2629     author      = {Tarjan, Robert Endre},
    2630     title       = {Efficiency of a Good But Not Linear Set Union Algorithm},
    2631     journal     = {J. ACM},
    2632     issue_date  = {April 1975},
    2633     volume      = {22},
    2634     number      = {2},
    2635     month       = apr,
    2636     year        = {1975},
    2637     issn        = {0004-5411},
    2638     pages       = {215--225},
    2639     numpages    = {11},
    2640     url         = {http://doi.acm.org/10.1145/321879.321884},
    2641     doi         = {10.1145/321879.321884},
    2642     acmid       = {321884},
    2643     publisher   = {ACM},
    2644     address     = {New York, NY, USA},
    2645 }
    2646 
    26472396@book{Eiffel,
    26482397    keywords    = {Eiffel},
    … …  
    26632412    journal     = ipl,
    26642413    year        = 1980,
    2665     month       = apr,
    2666     volume      = 10,
    2667     number      = 3,
    2668     pages       = {120-123},
     2414    month       = apr, volume = 10, number = 3, pages = {120-123},
    26692415    comment     = {
    26702416        The ``two-pass'' algorithm.  An upward pass over a parse tree
    … …  
    27002446}
    27012447
    2702 @inproceedings{chambers89a,
     2448@InProceedings{chambers89a,
    27032449    keywords    = {maps, delegation},
    27042450    author      = "Craig Chambers and David Ungar and Elgin Lee",
    2705     title       = "An Efficient Implementation of {SELF}, a Dynamically-Typed Object-Oriented Language Based on Prototypes",
     2451    title       = "An Efficient Implementation of {SELF}, a Dynamically-Typed
     2452                 Object-Oriented Language Based on Prototypes",
    27062453    crossref    = "OOPSLA89",
    27072454    pages       = {49-70}
    27082455}
    27092456
    2710 @misc{Turley99,
    2711     keywords    = {embedded system, micrprocessor},
    2712     contributer = {pabuhr@plg},
    2713     author      = {Jim Turley},
    2714     title       = {Embedded Processors by the Numbers},
    2715     year        = 1999,
    2716     month       = may,
    2717     note        = {Electronic Engineering Times},
    2718     howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712}
    2719                   {https://\-www.eetimes.com/\-author.asp?sectionid=\-36&doc_id=1287712}},
    2720 }
    2721 
    27222457@article{oop:encapsulation,
    27232458    keywords    = {Encapsulation, Inheritance, Subclasses, Multiple Inheritance},
    27242459    contributer = {gjditchfield@plg},
    27252460    author      = {Alan Snyder},
    2726     title       = {Encapsulation and Inheritance in Object-Oriented Programming Languages},
     2461    title       = {Encapsulation and Inheritance in Object-Oriented Programming
     2462        Languages},
    27272463    journal     = sigplan,
    27282464    volume      = {21},    number = {11},
    … …  
    27592495    title       = {Encapsulators: A New Software Paradigm in Smalltalk-80},
    27602496    journal     = sigplan,
    2761     volume      = {21},
    2762     number      = {11},
     2497    volume      = {21},    number       = {11},
    27632498    pages       = {341-346},
    2764     month       = nov,
    2765     year        = 1986,
     2499    month       = nov, year = 1986,
    27662500    comment     = {
    27672501        Encapsulators are objects that surround other objects.
    … …  
    28342568    year        = 1979,
    28352569    pages       = {24-32}
    2836 }
    2837 
    2838 @inproceedings{XaaS,
    2839     keywords    = {Everything as a Service, Anything as a Service, Cloud computing, SOA},
    2840     contributer = {pabuhr@plg},
    2841     author      = {Duan, Yucong and Fu, Guohua and Zhou, Nianjun and Sun, Xiaobing and Narendra, Nanjangud C. and Hu, Bo},
    2842     title       = {Everything As a Service (XaaS) on the Cloud: Origins, Current and Future Trends},
    2843     booktitle   = {Proceedings of the 2015 IEEE 8th International Conference on Cloud Computing},
    2844     series      = {CLOUD'15},
    2845     year        = {2015},
    2846     pages       = {621--628},
    2847     publisher   = {IEEE Computer Society},
    2848     address     = {Washington, DC, USA},
    28492570}
    28502571
    … …  
    30582779    title       = {Extending Modula-2 to Build Large, Integrated Systems},
    30592780    journal     = {IEEE Software},
    3060     month       = nov,
    3061     year        = 1986,
    3062     volume      = 3,
    3063     number      = 6,
    3064     pages       = {46-57},
     2781    month       = nov, year = 1986,
     2782    volume      = 3, number = 6, pages = {46-57},
    30652783    comment     = {
    30662784        Exceptions can have a parameter.  Procedures can declare the
    … …  
    30952813    year        = 2014,
    30962814    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}},
     2815    optnote     = {Accessed: 2017-04-02},
    30972816}
    30982817
    … …  
    31062825    year        = 1988,
    31072826    pages       = {143-149}
    3108 }
    3109 
    3110 @inproceedings{Patwary10,
    3111     keywords    = {union-find},
    3112     contributer = {a3moss@uwaterloo.ca},
    3113     author      = {Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
    3114     editor      = {Festa, Paola},
    3115     title       = {Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
    3116     booktitle   = {Experimental Algorithms},
    3117     year        = 2010,
    3118     publisher   = {Springer Berlin Heidelberg},
    3119     address     = {Berlin, Heidelberg},
    3120     pages       = {411--423},
    3121     isbn        = {978-3-642-13193-6}
    31222827}
    31232828
    … …  
    31552860    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    31562861    title       = {Fast mutual exclusion by the {T}riangle algorithm},
    3157     author      = {Wim H. Hesselink and Peter A. Buhr and David Dice},
     2862    author      = {Wim H. Hesselink and Peter Buhr and David Dice},
    31582863    journal     = ccpe,
    31592864    volume      = 30,
    … …  
    31622867    month       = feb,
    31632868    publisher   = {John Wiley \& Sons},
    3164     note        = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}}
     2869    note        = {\url{https://doi.org/10.1002/cpe.4183}}
    31652870}
    31662871
    … …  
    31782883}
    31792884
    3180 @manual{WindowsFibers,
    3181     keywords    = {threads, fibers},
    3182     contributer = {pabuhr@plg},
    3183     author      = {Windows},
    3184     title       = {Fibers},
    3185     organization= {Microsoft, Windows Development Center},
    3186     address     = {\href{https://docs.microsoft.com/en-us/windows/desktop/ProcThread/fibers}{https://\-docs.microsoft.com/\-en-us/\-windows/\-desktop/\-ProcThread/\-fibers}},
    3187     year        = 2018,
    3188 }
    3189 
    31902885@inproceedings{F-bound,
    31912886    keywords    = {},
    … …  
    32352930}
    32362931
    3237 @manual{Folly,
    3238     keywords    = {Folly},
    3239     contributer = {pabuhr@plg},
    3240     author      = {Folly},
    3241     title       = {Facebook Open-source Library},
    3242     organization= {Facebook},
    3243     address     = {\href{https://github.com/facebook/folly}{https://\-github.com/\-facebook/\-folly}},
    3244     year        = 2018,
    3245 }
    3246 
    3247 @article{Leroy09,
    3248     keywords    = {C formalization},
    3249     contributer = {a3moss@uwaterloo.ca},
    3250     author      = {Leroy, Xavier},
    3251     title       = {Formal Verification of a Realistic Compiler},
    3252     journal     = {Commun. ACM},
    3253     issue_date  = {July 2009},
    3254     volume      = {52},
    3255     number      = {7},
    3256     month       = jul,
    3257     year        = {2009},
    3258     issn        = {0001-0782},
    3259     pages       = {107--115},
    3260     numpages    = {9},
    3261     url         = {http://doi.acm.org/10.1145/1538788.1538814},
    3262     doi         = {10.1145/1538788.1538814},
    3263     acmid       = {1538814},
    3264     publisher   = {ACM},
    3265     address     = {New York, NY, USA},
    3266 }
    3267 
    32682932@manual{Fortran95,
    32692933    keywords    = {Fortran 95},
    … …  
    32862950    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    32872951    year        = 2010,
    3288 }
    3289 
    3290 @manual{Fortran18,
    3291     keywords    = {ISO/IEC Fortran 10},
    3292     contributer = {pabuhr@plg},
    3293     author      = {Fortran18},
    3294     title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
    3295     edition     = {4rd},
    3296     publisher   = {International Standard Organization},
    3297     address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
    3298     year        = 2018,
    32992952}
    33002953
    … …  
    35173170    keywords    = {Go programming language},
    35183171    contributer = {pabuhr@plg},
     3172    title       = {{Go} Programming Language},
    35193173    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    3520     title       = {{Go} Programming Language},
    35213174    organization= {Google},
    35223175    year        = 2009,
    … …  
    35463199    year        = 2014,
    35473200    howpublished= {https://developer.gnome.org/gobject/stable/},
     3201    optnote     = {Accessed: 2017-04},
    35483202}
    35493203
    … …  
    36253279    edition     = {{S}imon {M}arlow},
    36263280    year        = 2010,
    3627     note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}},
     3281    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
    36283282}
    36293283
    … …  
    36993353}
    37003354
    3701 @article{Hesselink17b,
    3702     keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    3703     title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
    3704     author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
    3705     journal     = ccpe,
    3706     volume      = 30,
    3707     number      = 18,
    3708     year        = 2018,
    3709     month       = sep,
    3710     publisher   = {John Wiley \& Sons},
    3711     note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
    3712 }
    3713 
    37143355@article{Buhr15a,
    37153356    keywords    = {software solution, mutual exclusion, performance experiment},
    … …  
    38473488    publisher   = {ACM Press},
    38483489    address     = {New York, NY, USA},
    3849 }
    3850 
    3851 @article{Galler64,
    3852     keywords    = {union-find, original},
    3853     contributer = {a3moss@uwaterloo.ca},
    3854     title       = {An improved equivalence algorithm},
    3855     author      = {Galler, Bernard A and Fisher, Michael J},
    3856     journal     = {Communications of the ACM},
    3857     volume      = {7},
    3858     number      = {5},
    3859     pages       = {301--303},
    3860     year        = {1964},
    3861     publisher   = {ACM}
    3862 }
    3863 
    3864 @phdthesis{Barghi18,
    3865     keywords    = {concurrency, user threads, actors},
    3866     contributer = {pabuhr@plg},
    3867     author      = {Saman Barghi},
    3868     title       = {Improving the Performance of User-level Runtime Systems for Concurrent Applications},
    3869     school      = {School of Computer Science, University of Waterloo},
    3870     year        = 2018,
    3871     month       = sep,
    3872     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    3873     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
    3874 }
    3875 
    3876 @article{Swift05,
    3877    contributer  = {pabuhr@plg},
    3878    author       = {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
    3879    title        = {Improving the Reliability of Commodity Operating Systems},
    3880    journal      = tocs,
    3881    volume       = 23,
    3882    number       = 1,
    3883    month        = feb,
    3884    year         = 2005,
    3885    pages        = {77-110},
    38863490}
    38873491
    … …  
    41903794}
    41913795
    4192 @article{Morgado13,
    4193     keywords    = {expression resolution},
    4194     contributer = {a3moss@uwaterloo.ca},
    4195     title       = {Iterative and core-guided {MaxSAT} solving: A survey and assessment},
    4196     author      = {Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
    4197     journal     = {Constraints},
    4198     volume      = {18},
    4199     number      = {4},
    4200     pages       = {478--534},
    4201     year        = {2013},
    4202     publisher   = {Springer}
    4203 }
    4204 
    42053796% J
    42063797                 
    … …  
    42263817}
    42273818
    4228 @manual{Java11,
    4229     keywords    = {Java SE 11},
    4230     contributer = {pabuhr@plg},
    4231     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley and Daniel Smith},
    4232     title       = {{Java} Language Specification},
    4233     publisher   = {Oracle},
    4234     month       = sep,
    4235     year        = 2018,
    4236     edition     = {{J}ava {SE} 11},
    4237 }
    4238 
    4239 @manual{JDK1.1,
    4240     keywords    = {JDK 1.1},
    4241     contributer = {pabuhr@plg},
    4242     author      = {{Multithreading Models}},
    4243     title       = {JDK 1.1 for Solaris Developer's Guide},
    4244     publisher   = {Oracle},
    4245     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}},
    4246     year        = 2010,
    4247 }
    4248 
    42493819@manual{JUC,
    42503820    keywords    = {Java concurrency library},
    … …  
    42593829% K
    42603830
    4261 @inproceedings{Buhr96b,
    4262     author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
    4263     title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
    4264     booktitle   = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools},
    4265     publisher   = {ACM Press},
    4266     address     = {Philadelphia, Pennsylvania, U.S.A.},
    4267     month       = may,
    4268     year        = 1996,
    4269     pages       = {80-87},
    4270 }
    4271 
    42723831@article{Duggan96,
    42733832    keywords    = {concurrency, critical section},
    42743833    contributer = {pabuhr@plg},
    4275     author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
     3834    author      = {Dominic Duggan and G. V. Cormack and John Ophel},
    42763835    title       = {Kinded Type Inference for Parametric Overloading},
    42773836    journal     = acta,
    … …  
    44133972}
    44143973
    4415 @misc{libdill,
    4416     keywords    = {libdill/libmill Thread Library},
    4417     contributer = {pabuhr@plg},
    4418     author      = {Alex Cornejo, et al},
    4419     title       = {libdill Thread Library},
    4420     year        = 2019,
    4421     howpublished= {\href{http://libdill.org/libdill-2.14.tar.gz}
    4422                   {http://\-libdill.org/\-libdill-2.14.tar.gz}},
    4423 }
    4424 
    44253974@article{Linda,
    44263975    keywords    = {Linda, concurrency},
    … …  
    44363985}
    44373986
    4438 @manual{libmill,
    4439     keywords    = {libmill},
    4440     contributer = {pabuhr@plg},
    4441     author      = {libmill},
    4442     title       = {{G}o-style concurrency in {C}, Version 1.18},
    4443     organization= {libmill},
    4444     address     = {\href{http://libmill.org/documentation.html}{http://\-libmill.org/\-documentation.html}},
    4445     month       = jan,
    4446     year        = 2017,
    4447 }
    4448 
    44493987@book{Weissman67,
    44503988    keywords    = {lisp},
    … …  
    44563994}
    44573995
    4458 @article{Pierce00,
    4459     keywords    = {Scala},
    4460     contributer = {a3moss@uwaterloo.ca},
    4461     author      = {Pierce, Benjamin C. and Turner, David N.},
    4462     title       = {Local Type Inference},
    4463     journal     = {ACM Trans. Program. Lang. Syst.},
    4464     issue_date  = {Jan. 2000},
    4465     volume      = {22},
    4466     number      = {1},
    4467     month       = jan,
    4468     year        = {2000},
    4469     issn        = {0164-0925},
    4470     pages       = {1--44},
    4471     numpages    = {44},
    4472     url         = {http://doi.acm.org/10.1145/345099.345100},
    4473     doi         = {10.1145/345099.345100},
    4474     acmid       = {345100},
    4475     publisher   = {ACM},
    4476     address     = {New York, NY, USA},
    4477     keywords    = {polymorphism, subtyping, type inference},
    4478 }
    4479 
    44803996@article{Sundell08,
    44813997    keywords    = {lock free, deque},
    … …  
    44884004    year        = 2008,
    44894005    pages       = {1008-1020},
    4490 }
    4491 
    4492 @misc{Matsakis17,
    4493     keywords    = {Rust, Chalk, PROLOG},
    4494     contributer = {a3moss@uwaterloo.ca},
    4495     author      = {Nicholas Matsakis},
    4496     title       = {Lowering {Rust} traits to logic},
    4497     month       = jan,
    4498     year        = 2017,
    4499     howpublished= {\href{http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/}
    4500                   {http://smallcultfollowing.com/\-babysteps/\-blog/\-2017/\-01/\-26/\-lowering-rust-traits-to-logic/}},
    4501     optnote     = {Accessed: 2019-01},
    45024006}
    45034007
    … …  
    45164020}
    45174021
    4518 @manual{Lua,
    4519     keywords    = {Lua},
    4520     contributer = {pabuhr@plg},
    4521     author      = {Lua},
    4522     title       = {Lua 5.3 Reference Manual},
    4523     address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
    4524     year        = 2018,
    4525 }
    4526 
    45274022% M
    45284023
    … …  
    45344029    publisher   = {Motorola},
    45354030    year        = 1992,
    4536 }
    4537 
    4538 @misc{Haberman16,
    4539     keywords    = {C++ template expansion},
    4540     contributer = {a3moss@uwaterloo.ca},
    4541     author      = {Josh Haberman},
    4542     title       = {Making arbitrarily-large binaries from fixed-size {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} code},
    4543     year        = 2016,
    4544     howpublished= {\href{http://blog.reverberate.org/2016/01/making-arbitrarily-large-binaries-from.html}
    4545                   {http://blog.reverberate.org/\-2016/\-01/\-making-arbitrarily-large-binaries-from.html}},
    4546     optnote     = {Accessed: 2016-09},
    45474031}
    45484032
    … …  
    45674051}
    45684052
    4569 @misc{Marcel,
    4570     keywords    = {Marcel Thread Library},
    4571     contributer = {pabuhr@plg},
    4572     author      = {Gabriel Antoniu, et al},
    4573     title       = {Marcel Thread Library},
    4574     year        = 2011,
    4575     howpublished= {\href{https://gforge.inria.fr/frs/download.php/file/28643/marcel-2.99.3.tar.gz}
    4576                   {https://\-gforge.inria.fr/\-frs/\-download.php/\-file/\-28643/\-marcel-2.99.3.tar.gz}},
    4577 }
    4578 
    45794053@inproceedings{mprof,
    45804054    keywords    = {malloc},
    … …  
    45934067    month       = sep,
    45944068    year        = 2006,
    4595     note        = {\textsf{http://cs.anu.edu.au/\-$\sim$Robin.Garner/\-mmtk-guide.pdf}},
     4069    note        = {\textsf{http://cs.anu.edu.au/\-\char`\~Robin.Garner/\-mmtk-guide.pdf}},
    45964070}
    45974071
    … …  
    46974171    month       = sep,
    46984172    year        = 1994,
    4699     note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uSystem.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/\-uSystem.pdf}},
     4173    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-uSystem/\-uSystem.ps.gz}}},
    47004174}
    47014175
    … …  
    48734347}
    48744348%    editor     = {Allen Kent and James G. Williams},
    4875 
    4876 @incollection{MPC,
    4877     keywords    = {user-level threading},
    4878     contributer = {pabuhr@plg},
    4879     author      = {Marc P\'erache and Herv\'e Jourdren and Raymond Namyst},
    4880     title       = {MPC: A Unified Parallel Runtime for Clusters of {NUMA} Machines},
    4881     booktitle   = {Euro-Par 2008},
    4882     pages       = {329-342},
    4883     publisher   = {Springer},
    4884     address     = {Berlin, Heidelberg},
    4885     year        = 2008,
    4886     volume      = 5168,
    4887     series      = {Lecture Notes in Computer Science},
    4888 }
    48894349
    48904350@manual{MPI,
    … …  
    50554515
    50564516% N
    5057 
    5058 @techreport{Drepper03,
    5059     keywords    = {NPTL, threading, 1:1 model},
    5060     contributer = {pabuhr@plg},
    5061     author      = {Ulrich Drepper and Ingo Molnar},
    5062     title       = {The Native POSIX Thread Library for Linux},
    5063     institution = {Red Hat},
    5064     year        = 2003,
    5065     note        = {\href{http://www.cs.utexas.edu/~witchel/372/lectures/POSIX_Linux_Threading.pdf}{http://www.cs.utexas.edu/\-$\sim$witchel/\-372/\-lectures/\-POSIX\_Linux\_Threading.pdf}},
    5066 }
    50674517
    50684518@article{Haddon77,
    … …  
    51914641}
    51924642
    5193 @misc{nginx,
    5194     key         = {nginx},
    5195     author      = {{NGINX}},
    5196     howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}},
    5197 }
    5198 
    51994643@article{Herlihy05,
    52004644    keywords    = {Multiprocessors, concurrent data structures, dynamic data structures, memory management, nonblocking synchronization},
    … …  
    52534697    year        = 1995,
    52544698    number      = 31,
    5255     note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-$\sim$schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
     4699    note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-\char`\~schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
    52564700}
    52574701
    … …  
    53074751@misc{obj-c-book,
    53084752    keywords    = {objective-c},
    5309     contributor = {pabuhr@plg},
     4753    contributor = {a3moss@uwaterloo.ca},
    53104754    key         = {Objective-C},
    5311     author      = {Objective-C},
     4755    title       = {Objective-C},
    53124756    publisher   = {Apple Inc.},
    5313     year        = 2014,
    5314     howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
     4757    year        = 2015,
     4758    howpublished= {\href{https://developer.apple.com/library/content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},
     4759    optnote     = {Accessed: 2018-03}
    53154760}
    53164761
    … …  
    53214766    title       = {{X}code 7 Release Notes},
    53224767    year        = 2015,
    5323     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}},
     4768    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}},
     4769    optnote     = {Accessed: 2017-04}
    53244770}
    53254771
    … …  
    54474893}
    54484894
    5449 @manual{OpenMP,
     4895@techreport{OpenMP,
    54504896    keywords    = {concurrency, openmp, spmd},
    54514897    contributer = {pabuhr@plg},
    5452     key         = {OpenMP},
    5453     title       = {OpenMP Application Program Interface, Version 4.5},
    5454     month       = nov,
    5455     year        = 2015,
    5456     note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
    5457 }
    5458 
    5459 @inproceedings{Krebbers14,
    5460     keywords    = {c formalization},
    5461     contributer = {a3moss@uwaterloo.ca},
    5462     author      = {Krebbers, Robbert},
    5463     title       = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
    5464     booktitle   = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    5465     series      = {POPL '14},
    5466     year        = {2014},
    5467     isbn        = {978-1-4503-2544-8},
    5468     location    = {San Diego, California, USA},
    5469     pages       = {101--112},
    5470     numpages    = {12},
    5471     url         = {http://doi.acm.org/10.1145/2535838.2535878},
    5472     doi         = {10.1145/2535838.2535878},
    5473     acmid       = {2535878},
    5474     publisher   = {ACM},
    5475     address     = {New York, NY, USA},
    5476 }
     4898    author      = {OpenMP Architecture Review Board},
     4899    title       = {OpenMP Application Program Interface, Version 4.0},
     4900    month       = jul,
     4901    year        = 2013,
     4902    note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}},
     4903}
    54774904
    54784905@book{Deitel04,
    … …  
    58395266}
    58405267
    5841 @misc{perf,
    5842     contributer = {pabuhr@plg},
    5843     key         = {perf},
    5844     author      = {perf},
    5845     howpublished= {\href{https://perf.wiki.kernel.org/index.php/Tutorial}{https://\-perf.wiki.kernel.org/\-index.php/\-Tutorial}},
    5846 }
    5847 
    5848 @misc{Verch12,
    5849     contributer = {pabuhr@plg},
    5850     author      = {Shaun Verch},
    5851     title       = {Performance Analysis of 64-Bit Capriccio},
    5852     month       = may,
    5853     year        = 2012,
    5854     howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
    5855 }
    5856 
    58575268@article{Anderson90,
    58585269    keywords    = {spin locks, back off, performance},
    … …  
    58665277    number      = 1,
    58675278    pages       = {6-16},
    5868 }
    5869 
    5870 @inproceedings{Conchon07,
    5871     keywords    = {persistent array, union-find},
    5872     contributer = {a3moss@uwaterloo.ca},
    5873     title       = {A persistent union-find data structure},
    5874     author      = {Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
    5875     booktitle   = {Proceedings of the 2007 workshop on Workshop on ML},
    5876     pages       = {37--46},
    5877     year        = {2007},
    5878     organization= {ACM}
    58795279}
    58805280
    … …  
    60885488}
    60895489
    6090 @inproceedings{Buhr98,
    6091     keywords    = {profiling, monitoring, visualization},
    6092     contributer = {pabuhr@plg},
    6093     author      = {Peter A. Buhr and Robert Denda},
    6094     title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
    6095     booktitle   = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments},
    6096     series      = {Lecture Notes in Computer Science},
    6097     publisher   = {Springer-Verlag},
    6098     volume      = 1505,
    6099     opteditor   = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn},
    6100     address     = {Santa Fe, New Mexico, U.S.A.},
    6101     month       = dec,
    6102     year        = 1998,
    6103     pages       = {159-166},
    6104 }
    6105 
    61065490@book{PowerPC,
    61075491    key         = {PowerPC processor},
    … …  
    61765560    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    61775561    year        = 2014,
    6178 }
    6179 
    6180 @manual{C++17,
    6181     keywords    = {ISO/IEC C++ 17},
    6182     contributer = {pabuhr@plg},
    6183     key         = {C++17},
    6184     title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
    6185     edition     = {5th},
    6186     publisher   = {International Standard Organization},
    6187     address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
    6188     year        = 2017,
    61895562}
    61905563
    … …  
    63405713    institution = {Carnegie Mellon University},
    63415714    year        = 1991,
    6342     month       = feb,
    6343     number      = {CMU-CS-91-106},
     5715    month       = feb, number = "CMU-CS-91-106",
    63445716    annote      = {
    63455717        Discusses a typed lambda calculus with
    … …  
    63815753}
    63825754
    6383 @article{Moore75,
    6384     keywords    = {approximation methods, integrated circuits},
    6385     contributer = {pabuhr@plg},
    6386     author      = {Gordon E. Moore},
    6387     title       = {Progress in Digital Integrated Electronics},
    6388     journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
    6389     year        = 1975,
    6390     pages       = {11-13},
    6391 }
    6392 
    63935755@article{promises,
    63945756    keywords    = {futures, Argus, call streams, rpc},
    63955757    contributer = {gjditchfield@plg},
    63965758    author      = {Barbara Liskov and Liuba Shrira},
    6397     title       = {Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems},
     5759    title       = {Promises: Linguistic Support for Efficient Asynchronous
     5760          Procedure Calls in Distributed Systems},
    63985761    journal     = sigplan,
    63995762    year        = 1988,
    6400     month       = jul,
    6401     volume      = 23,
    6402     number      = 7,
    6403     pages       = {260-267},
    6404     note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
     5763    month       = jul, volume = 23, number = 7, pages = {260-267},
     5764    note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language
     5765         Design and Implementation},
    64055766    abstract    = {
    64065767        This paper deals with the integration of an efficient asynchronous
    … …  
    64525813}
    64535814
    6454 @misc{Pthreads,
    6455     keywords    = {pthreads, C concurrency},
    6456     contributer = {pabuhr@plg},
    6457     key         = {pthreads},
    6458     title       = {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
    6459     author      = {IEEE and {The Open Group}},
    6460     year        = 2018,
    6461     howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
    6462                   {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
    6463 }
    6464 
    64655815@manual{Python,
    64665816    keywords    = {Python},
    64675817    contributer = {pabuhr@plg},
    6468     author      = {Python},
    6469     title       = {Python Language Reference, Release 3.7.2},
     5818    title       = {Python Reference Manual, Release 2.5},
     5819    author      = {Guido van Rossum},
    64705820    organization= {Python Software Foundation},
    6471     address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
    6472     year        = 2018,
     5821    month       = sep,
     5822    year        = 2006,
     5823    note        = {Fred L. Drake, Jr., editor},
    64735824}
    64745825
    64755826% Q
    6476 
    6477 @inproceedings{Qthreads,
    6478     keywords    = {user-level threading},
    6479     author      = {Kyle B. Wheeler and Richard C. Murphy and Douglas Thain},
    6480     title       = {Qthreads: An API for Programming with Millions of Lightweight Threads},
    6481     booktitle   = {International Symposium on Parallel and Distributed Processing},
    6482     organization= {IEEE},
    6483     address     = {Miami, FL, USA},
    6484     month       = apr,
    6485     year        = 2008,
    6486 }
    64875827
    64885828@article{Grossman06,
    64895829    keywords    = {Cyclone, existential types, polymorphism, type variables},
    64905830    contributer = {a3moss@plg},
    6491     author      = {Dan Grossman},
     5831    author      = {D. Grossman},
    64925832    title       = {Quantified Types in an Imperative Language},
    64935833    journal     = toplas,
    … …  
    64995839    issn        = {0164-0925},
    65005840    pages       = {429-475},
    6501     url         = {http://doi.acm.org/10.1145/1133651.1133653},
     5841    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    65025842    doi         = {10.1145/1133651.1133653},
    65035843    acmid       = {1133653},
    … …  
    65215861}
    65225862
    6523 @manual{Quasar,
    6524     keywords    = {Quasar},
    6525     contributer = {pabuhr@plg},
    6526     author      = {Quasar},
    6527     title       = {Quasar Documentation, Release 0.8.0},
    6528     organization= {Parallel Universe},
    6529     address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
    6530     year        = 2018,
    6531 }
    6532 
    65335863% R
    65345864
    … …  
    66085938}
    66095939
    6610 @article{Ronsse03,
    6611     keywords    = {profiling, replay},
    6612     contributer = {pabuhr@plg},
    6613     author      = {Michiel Ronsse and De Bosschere, Koen and Mark Christiaens and Jacques Chassin de Kergommeaux and Dieter Kranzlm\"{u}ller},
    6614     title       = {Record/Replay for Nondeterministic Program Executions},
    6615     journal     = cacm,
    6616     month       = sep,
    6617     year        = 2003,
    6618     volume      = 46,
    6619     number      = 9,
    6620     pages       = {62-67},
    6621 }
    6622 
    66235940@article{Robinson48,
    66245941    keywords    = {recursion, Ackermann function},
    … …  
    66465963}
    66475964
    6648 @article{Hesselink06,
    6649     author      = {Wim H. Hesselink},
    6650     title       = {Refinement Verification of the Lazy Caching Algorithm},
    6651     journal     = acta,
    6652     year        = 2006,
    6653     month       = oct,
    6654     volume      = 43,
    6655     number      = 3,
    6656     pages       = {195--222},
    6657 }
    6658 
    66595965@article{RemoteRendezvous,
    66605966    keywords    = {rendezvous, concurrency},
    … …  
    66705976}
    66715977
    6672 @mastersthesis{Schuster99,
    6673     author      = {Oliver Schuster},
    6674     title       = {Replay of Concurrent Shared-Memory Programs},
    6675     school      = {Universit\"at Mannheim},
    6676     address     = {Mannheim, Deutschland},
    6677     year        = 1999,
    6678     month       = apr,
    6679     type        = {Diplomarbeit},
    6680     note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/SchusterThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-SchusterThesis.pdf}},
    6681 }
    6682 
    66835978@article{Euclid,
    66845979    keywords    = {Euclid},
    … …  
    67126007    school      = {School of Computer Science, University of Waterloo},
    67136008    year        = 2017,
    6714     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     6009    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    67156010    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
    67166011}
    … …  
    67876082    contributer = {pabuhr@plg},
    67886083    key         = {Rust},
    6789     title       = {{R}ust Programming Language},
    6790     optaddress  = {Rust Project Developers},
     6084    title       = {The {R}ust Programming Language},
     6085    address     = {The Rust Project Developers},
    67916086    year        = 2015,
    67926087    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    6793 }
    6794 
    6795 @manual{Ruby,
    6796     keywords    = {Ruby},
    6797     contributer = {pabuhr@plg},
    6798     author      = {Ruby},
    6799     title       = {Ruby Documentation, Release 2.6.0},
    6800     organization= {Python Software Foundation},
    6801     address     = {\href{https://www.ruby-lang.org/en/documentation}{https://\-www.ruby-lang.org/\-en/\-documentation}},
    6802     year        = 2018,
    68036088}
    68046089
    … …  
    68646149    publisher   = {Springer},
    68656150    note        = {Lecture Notes in Computer Science v. 173},
    6866 }
    6867 
    6868 @article{Baker78,
    6869     keywords    = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
    6870     contributer = {a3moss@uwaterloo.ca},
    6871     author      = {Baker,Jr., Henry G.},
    6872     title       = {Shallow Binding in Lisp 1.5},
    6873     journal     = {Commun. ACM},
    6874     issue_date  = {July 1978},
    6875     volume      = 21,
    6876     number      = 7,
    6877     month       = jul,
    6878     year        = 1978,
    6879     issn        = {0001-0782},
    6880     pages       = {565--569},
    6881     numpages    = {5},
    6882     url         = {http://doi.acm.org/10.1145/359545.359566},
    6883     doi         = {10.1145/359545.359566},
    6884     acmid       = {359566},
    6885     publisher   = {ACM},
    6886     address     = {New York, NY, USA}
    6887 }
    6888 
    6889 @article{Baker91,
    6890     keywords    = {shallow binding, functional arrays},
    6891     contributer = {a3moss@uwaterloo.ca},
    6892     author      = {Baker, Henry G.},
    6893     title       = {Shallow Binding Makes Functional Arrays Fast},
    6894     journal     = {SIGPLAN Not.},
    6895     issue_date  = {Aug. 1991},
    6896     volume      = 26,
    6897     number      = 8,
    6898     month       = aug,
    6899     year        = 1991,
    6900     issn        = {0362-1340},
    6901     pages       = {145--147},
    6902     numpages    = {3},
    6903     url         = {http://doi.acm.org/10.1145/122598.122614},
    6904     doi         = {10.1145/122598.122614},
    6905     acmid       = {122614},
    6906     publisher   = {ACM},
    6907     address     = {New York, NY, USA},
    69086151}
    69096152
    … …  
    75396782}
    75406783
    7541 @article{SysVABI,
    7542     keywords    =  {System V ABI},
    7543     contributer =  {a3moss@uwaterloo.ca},
    7544     title       = {System {V} application binary interface},
    7545     author      = {Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
    7546     journal     = {AMD64 Architecture Processor Supplement, Draft v0},
    7547     volume      = {99},
    7548     year        = {2013}
    7549 }
    7550 
    75516784% T
    75526785
    … …  
    76016834    contributer = {pabuhr@plg},
    76026835    key         = {TIOBE Index},
    7603     author      = {{TIOBE Index}},
     6836    title       = {{TIOBE} Index},
    76046837    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    7605 }
    7606 
    7607 @misc{ThreadModel,
    7608     contributer = {pabuhr@plg},
    7609     key         = {ThreadModel},
    7610     title       = {Thread (computing)},
    7611     author      = {{Threading Model}},
    7612     howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
     6838    optnote     = {Accessed: 2018-09},
    76136839}
    76146840
    … …  
    77486974    year        = 1980
    77496975}
    7750 
    7751 @misc{TraceCompass,
    7752     contributer = {pabuhr@plg},
    7753     key         = {Trace Compass},
    7754     author      = {{T}race {C}ompass},
    7755     howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
    7756 }
    77576976 
    77586977@article{Leroy00,
    … …  
    77706989        Argues against declaring exceptions on routine definitions.
    77716990    },
    7772 }
    7773 
    7774 @techreport{Black90,
    7775     title       = {Typechecking polymorphism in {Emerald}},
    7776     author      = {Black, Andrew P and Hutchinson, Norman C},
    7777     year        = {1990},
    7778     institution = {Cambridge Research Laboratory, Digital Equipment Corporation}
    77796991}
    77806992
    … …  
    78977109    title       = {Usability Challenges in Exception Handling},
    78987110    booktitle   = {5th International Workshop on Exception Handling (WEH)},
    7899     optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     7111    organization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
    79007112    address     = {Zurich, Switzerland},
    79017113    month       = jun,
    … …  
    79497161    year        = 2017,
    79507162    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
     7163    optnote     = {Accessed: 2017-04}
    79517164}
    79527165
    … …  
    80407253}
    80417254
    8042 @inproceedings{vonBehren03,
    8043     keywords    = {threads, events, web server},
    8044     contributer = {pabuhr@plg},
    8045     author      = {Rob von Behren and Jeremy Condit and Eric Brewer},
    8046     title       = {Why Events Are a Bad Idea (for high-concurrency servers)},
    8047     booktitle   = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems},
    8048     publisher   = {USENIX Association},
    8049     address     = {Lihue, Hawaii, U.S.A.},
    8050     month       = may,
    8051     year        = 2003,
    8052     pages       = {19-24},
    8053 }
    8054 
    80557255@techreport{Moss90,
    80567256    keywords    = {Swizzling, database},
    … …  
    80977297}
    80987298
    8099 @article{Tarjan84,
    8100     keywords    = {union-find},
    8101     contributer = {a3moss@uwaterloo.ca},
    8102     author      = {Tarjan, Robert E. and van Leeuwen, Jan},
    8103     title       = {Worst-case Analysis of Set Union Algorithms},
    8104     journal     = {J. ACM},
    8105     issue_date  = {April 1984},
    8106     volume      = 31,
    8107     number      = 2,
    8108     month       = mar,
    8109     year        = 1984,
    8110     issn        = {0004-5411},
    8111     pages       = {245--281},
    8112     numpages    = {37},
    8113     url         = {http://doi.acm.org/10.1145/62.2160},
    8114     doi         = {10.1145/62.2160},
    8115     acmid       = {2160},
    8116     publisher   = {ACM},
    8117     address     = {New York, NY, USA},
    8118 }
    8119 
    81207299% X
    81217300
    81227301% Y
    8123 
    8124 @article{Boehm12,
    8125     keywords    = {memory model, race condition},
    8126     contributer = {pabuhr@plg},
    8127     author      = {Boehm, Hans-J. and Adve, Sarita V.},
    8128     title       = {You Don'T Know Jack About Shared Variables or Memory Models},
    8129     journal     = cacm,
    8130     volume      = 55,
    8131     number      = 2,
    8132     month       = feb,
    8133     year        = 2012,
    8134     pages       = {48--54},
    8135     publisher   = {ACM},
    8136     address     = {New York, NY, USA},
    8137 }
    81387302
    81397303% Z
    … …  
    81537317    year        = 1986,
    81547318    editor      = {Norman Meyrowitz},
    8155     publisher   = sigplan,
     7319    publisher   = sigplan # " 21(11)",
    81567320    organization= {Association for Computing Machinery},
    81577321    address     = {Portland, Oregon},
    8158     month       = sep,
     7322    month       = sep # { 29}
    81597323}
    81607324
    … …  
    81657329    year        = 1987,
    81667330    editor      = {Norman Meyrowitz},
    8167     publisher   = sigplan,
     7331    publisher   = sigplan # " 22(12)",
    81687332    organization= {Association for Computing Machinery},
    81697333    address     = {Orlando, Florida},
    8170     month       = oct,
     7334    month       = oct # { 4--8}
    81717335}
    81727336
    … …  
    81777341    year        = 1988,
    81787342    editor      = {Norman Meyrowitz},
    8179     publisher   = sigplan,
     7343    publisher   = sigplan # " 23(11)",
    81807344    organization= {Association for Computing Machinery},
    81817345    address     = {San Diego, California},
    8182     month       = sep,
     7346    month       = sep # { 25--30}
    81837347}
    81847348
    … …  
    81897353    year        = 1989,
    81907354    editor      = {Norman Meyrowitz},
    8191     publisher   = sigplan,
     7355    publisher   = sigplan # " 24(10)",
    81927356    organization= {Association for Computing Machinery},
    81937357    address     = {New Orleans, Louisiana},
    8194     month       = oct,
     7358    month       = oct # { 1--6}
    81957359}
    81967360
    … …  
    82017365    year        = 1990,
    82027366    editor      = {Norman Meyrowitz},
    8203     publisher   = sigplan,
     7367    publisher   = sigplan # " 25(10)",
    82047368    organization= {Association for Computing Machinery},
    82057369    address     = {Ottawa, Canada},
    8206     month       = oct,
     7370    month       = oct # { 21--25}
    82077371}
    82087372
    … …  
    82137377    year        = 1991,
    82147378    editor      = {Andreas Paepcke},
    8215     publisher   = sigplan,
     7379    publisher   = sigplan # " 26(11)",
    82167380    organization= {Association for Computing Machinery},
    82177381    address     = {Phoenix, Arizona},
    8218     month       = oct,
    8219 }
     7382    month       = oct # { 6--11}
     7383}
Note: See TracChangeset for help on using the changeset viewer.