Ignore:
Timestamp:
Aug 27, 2018, 4:40:34 PM (8 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
Children:
b7c89aa
Parents:
f9feab8 (diff), 305581d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into cleanup-dtors

File:
1 moved

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    rf9feab8 r90152a4  
    2828% @string{spe="Softw. Pract. Exp."}
    2929@string{ccpe="Concurrency and Computation: Practice and Experience"}
    30 % @string{ccpe="Concurrency Comput. Pract. Exp."}
     30% @string{ccpe="Concurrency Comput: Pract Experience"}
    3131@string{sigplan="SIGPLAN Notices"}
    3232% @string{sigplan="SIGPLAN Not."}
    … …  
    137137
    138138@article{Nierstrasz87,
    139     keywords    = {Hybrid, active objects, object-oriented languages,
    140                   object-based languages, delegation, concurrency},
     139    keywords    = {Hybrid, active objects, object-oriented languages, object-based languages, delegation, concurrency},
    141140    contributer = {pabuhr@plg},
    142141    author      = {O. M. Nierstrasz},
    … …  
    378377}
    379378
     379@article{Hoare61,
     380    keywords    = {quick sort},
     381    contributer = {pabuhr@plg},
     382    author      = {C. A. R. Hoare},
     383    title       = {Algorithms 63/64: Partition/Quicksort},
     384    journal     = cacm,
     385    volume      = 4,
     386    number      = 7,
     387    month       = jul,
     388    year        = 1961,
     389    pages       = {321},
     390}
     391
    380392@article{Cormack81,
    381393    keywords    = {},
    … …  
    636648    year        = 2008,
    637649    pages       = {8-15},
     650}
     651
     652@article{Joung00,
     653    author      = {Joung, Yuh-Jzer},
     654    title       = {Asynchronous group mutual exclusion},
     655    journal     = {Distributed Computing},
     656    year        = {2000},
     657    month       = {Nov},
     658    volume      = {13},
     659    number      = {4},
     660    pages       = {189--206},
    638661}
    639662
    … …  
    780803    title       = {Boost Coroutine Library},
    781804    year        = 2015,
    782     note        = {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    783                   {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}} [Accessed September 2016]},
     805    howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
     806                  {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
     807    optnote     = {Accessed: 2016-09},
    784808}
    785809
    … …  
    854878    keywords    = {ANSI C 89},
    855879    contributer = {gjditchfield@plg},
    856     title       = {American National Standard for Information Systems -- Programming Language -- {C}},
     880    author      = {C90},
     881    title       = {Programming Languages -- {C}},
    857882    organization= {American National Standards Institute},
    858     address     = {1430 Broadway, New York, New York  10018},
    859     month       = dec,
    860     year        = 1989,
    861     note        = {X3.159-1989}
     883    address     = {New York, NY, U.S.A.},
     884    year        = 1990,
     885    note        = {ANSI/ISO 9899-1990}
    862886}
    863887
    … …  
    865889    keywords    = {ISO/IEC C 11},
    866890    contributer = {pabuhr@plg},
    867     author      = {C11},
    868     title       = {Programming Languages -- {C} {ISO/IEC} 9889:2011},
     891    key         = {C11},
     892    title       = {C Programming Language {ISO/IEC} 9889:2011-12},
    869893    edition     = {3rd},
    870894    publisher   = {International Standard Organization},
    … …  
    873897}
    874898
    875 @techreport{C++Concepts,
    876     type        = {International Standard},
     899@manual{C++Concepts,
    877900    keywords    = {ISO/IEC TS 19217:2015},
    878901    contributer = {a3moss@uwaterloo.ca},
    879     author      = {Concepts},
    880     title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts {ISO/IEC} {TS} 19217:2015},
     902    key         = {Concepts},
     903    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming language -- Extensions for concepts {ISO/IEC} {TS} 19217:2015},
    881904    publisher   = {International Standard Organization},
    882905    address     = {\href{https://www.iso.org/standard/64031.html}{https://\-www.iso.org/\-standard/\-64031.html}},
    883     year        = 2015
     906    year        = 2015,
     907}
     908
     909@misc{Cforall,
     910    key         = {Cforall},
     911    title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     912    howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
     913    optnote     = {Accessed: 2018-01-01},
    884914}
    885915
    … …  
    888918    contributer = {pabuhr@plg},
    889919    author      = {Rodolfo Gabriel Esteves},
    890     title       = {C$\forall$, a Study in Evolutionary Design in Programming Languages},
     920    title       = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages},
    891921    school      = {School of Computer Science, University of Waterloo},
    892922    year        = 2004,
    893923    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    894924    note        = {\href{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-EstevesThesis.pdf}},
     925}
     926
     927@misc{CFAStackEvaluation,
     928    author      = {Aaron Moss},
     929    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
     930    year        = 2018,
     931    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.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},
    895943}
    896944
    … …  
    10151063}
    10161064
     1065@inproceedings{Necula02,
     1066    author      = {Necula, George C. and McPeak, Scott and Weimer, Westley},
     1067    title       = {{CCured}: Type-safe Retrofitting of Legacy Code},
     1068    booktitle   = {Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     1069    series      = {POPL '02},
     1070    year        = {2002},
     1071    location    = {Portland, Oregon},
     1072    pages       = {128-139},
     1073    publisher   = {ACM},
     1074    address     = {New York, NY, USA},
     1075}
     1076
    10171077@techreport{cforall-ug,
    10181078    keywords    = {cforall, user guide},
    10191079    contributer = {pabuhr@plg},
    10201080    author      = {Peter A. Buhr and Glen Ditchfield and David Till and Charles R. Zarnke},
    1021     title       = {\mbox{\mdseries\sffamily C{$\mathbf{\forall}$}}\ Users Guide, Version 0.1},
     1081    title       = {\textsf{C}$\mathbf{\forall}$ Users Guide, Version 0.1},
    10221082    institution = {Department of Computer Science, University of Waterloo},
    10231083    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    … …  
    10271087}
    10281088
    1029 @manual{cforall,
     1089@manual{cforall-refrat,
    10301090    keywords    = {polymorphism},
    10311091    contributer = {gjditchfield@plg},
    … …  
    10981158    title       = {Programming Languages -- {Cobol} ISO/IEC 1989:2014},
    10991159    edition     = {2nd},
    1100     institution = {International Standard Organization},
     1160    institution = {International Standard Organization},
    11011161    address     = {\href{https://www.iso.org/standard/51416.html}{https://\-www.iso.org/\-standard/\-51416.html}},
    11021162    year        = 2014,
    … …  
    11101170    journal     = sigplan,
    11111171    year        = 1984,
    1112     month       = jun, volume = 19, number = 6, pages = {1-12},
     1172    month       = jun,
     1173    volume      = 19,
     1174    number      = 6,
     1175    pages       = {1-12},
    11131176    note        = {Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction},
    11141177    abstract    = {
    … …  
    11201183        that is ``compiled''.
    11211184    },
    1122     comment     = {
    1123         Imagine the program, including the subroutines, spread out over a
    1124         table, with the compiler dropping Jello on the parts as they are
    1125         compiled.  At first little drops appear in seemingly random places.
    1126         These get bigger and combine with other drops to form growing
    1127         globs.  When two globs meet, ripples will go out through each as
    1128         they adjust to each other's presence, although the parts of the
    1129         globs that formed first are less affected by the ripples.  When
    1130         compilation is complete, there is one congealed mass.
    1131     }
    11321185}
    11331186
    … …  
    13251378        Process-valued expressions and process variables.  Processes have
    13261379        execution priority: Create {\em process-type-name}(args) [with
    1327         priority(p)],
    1328         and the priority can be changed on the fly.  Complicated guard/
    1329         screen structure on accept: accept {\em transaction}(param names)
     1380        priority(p)], and the priority can be changed on the fly.  Complicated
     1381        guard/screen structure on accept: accept {\em transaction}(param names)
    13301382        [suchthat (exp)] [by (exp)] [compoundstatement].  Accepts cannot
    13311383        appear in functions!  Can specify timeouts on transaction calls.
    … …  
    14321484    contributer = {pabuhr@plg},
    14331485    author      = {Peter A. Buhr},
    1434     title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 6.1.0},
     1486    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    14351487    institution = {School of Computer Science, University of Waterloo},
    14361488    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    1437     month       = jul,
    1438     year        = 2015,
    1439     note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{\textsf{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}},
     1489    month       = dec,
     1490    year        = 2017,
     1491    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}},
    14401492}
    14411493
    … …  
    15251577    number      = 9,
    15261578    pages       = {1133-1172},
     1579}
     1580
     1581@mastersthesis{Delisle18,
     1582    author      = {Thierry Delisle },
     1583    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     1584    school      = {School of Computer Science, University of Waterloo},
     1585    year        = 2018,
     1586    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1587    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
    15271588}
    15281589
    … …  
    16071668        provide the equivalent of constrained generic types.
    16081669    }
     1670}
     1671
     1672@misc{Taylor10,
     1673    keywords    = {const, poisoning},
     1674    contributer = {pabuhr@plg},
     1675    author      = {Ian Lance Taylor},
     1676    title       = {const},
     1677    month       = oct,
     1678    year        = 2010,
     1679    howpublished= {\href{https://www.airs.com/blog/archives/428}
     1680                  {https://www.airs.com/\-blog/\-archives/\-428}},
     1681    optnote     = {Accessed: 2018-05},
    16091682}
    16101683
    … …  
    16861759    contributer = {a3moss@uwaterloo.ca},
    16871760    author      = {Glen Ditchfield},
    1688     title       = {Conversions for {Cforall}},
     1761    title       = {Conversions for \textsf{C}$\mathbf{\forall}$},
    16891762    note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
    16901763    month       = {Nov},
    … …  
    17491822}
    17501823
    1751 @article{Moore75,
    1752     keywords    = {approximation methods, integrated circuits},
    1753     contributer = {pabuhr@plg},
    1754     author      = {Gordon E. Moore},
    1755     title       = {Progress in Digital Integrated Electronics},
    1756     journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
    1757     year        = 1975,
    1758     pages       = {11-13},
     1824@misc{CS343,
     1825    keywords    = {uC++ teaching},
     1826    contributer = {pabuhr@plg},
     1827    key         = {Peter Buhr},
     1828    title       = {CS343},
     1829    year        = 2017,
     1830    howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
    17591831}
    17601832
    … …  
    19732045
    19742046@book{Stroustrup94,
    1975     keywords    = {C++},
    1976     contributor = {wyrmok@plg},
    1977     author      = {Bjarne Stroustrup},
    1978     title       = {The Design and Evolution of {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    1979     publisher   = {Addison-Wesley},
     2047    keywords    = {C++},
     2048    contributor = {wyrmok@plg},
     2049    author      = {Bjarne Stroustrup},
     2050    title       = {The Design and Evolution of {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     2051    publisher   = {Addison-Wesley},
    19802052    address     = {Boston},
    1981     year        = 1994
     2053    year        = 1994
    19822054}
    19832055
    … …  
    24472519    keywords    = {Erlang},
    24482520    contributer = {pabuhr@plg},
    2449     title       = {Erlang Reference Manual User's Guide, Vertion 7.0},
    2450     organization= {Erlang/OTP System Documentation},
    2451     address     = {1430 Broadway, New York, New York  10018},
    2452     month       = jun,
    2453     year        = 2015,
    2454     note        = {\href{http://www.erlang.org/doc/pdf/otp-system-documentation.pdf}{\textsf{http://www.erlang.org/\-doc/\-pdf/\-otp-system-\-documentation.pdf}}},
     2521    key         = {Erlang},
     2522    title       = {Erlang/OTP System Documentation 8.1},
     2523    organization= {Erlang AB},
     2524    month       = sep,
     2525    year        = 2016,
     2526    note        = {\href{http://erlang.org/doc/pdf/otp-system-documentation.pdf}{http://\-erlang.org/\-doc/\-pdf/\-otp-system-documentation.pdf}},
    24552527}
    24562528
    … …  
    24842556    year        = 1979,
    24852557    pages       = {24-32}
     2558}
     2559
     2560@inproceedings{XaaS,
     2561    keywords    = {Everything as a Service, Anything as a Service, Cloud computing, SOA},
     2562    contributer = {pabuhr@plg},
     2563    author      = {Duan, Yucong and Fu, Guohua and Zhou, Nianjun and Sun, Xiaobing and Narendra, Nanjangud C. and Hu, Bo},
     2564    title       = {Everything As a Service (XaaS) on the Cloud: Origins, Current and Future Trends},
     2565    booktitle   = {Proceedings of the 2015 IEEE 8th International Conference on Cloud Computing},
     2566    series      = {CLOUD'15},
     2567    year        = {2015},
     2568    pages       = {621--628},
     2569    publisher   = {IEEE Computer Society},
     2570    address     = {Washington, DC, USA},
    24862571}
    24872572
    … …  
    26952780    title       = {Extending Modula-2 to Build Large, Integrated Systems},
    26962781    journal     = {IEEE Software},
    2697     month       = nov, year = 1986,
    2698     volume      = 3, number = 6, pages = {46-57},
     2782    month       = nov,
     2783    year        = 1986,
     2784    volume      = 3,
     2785    number      = 6,
     2786    pages       = {46-57},
    26992787    comment     = {
    27002788        Exceptions can have a parameter.  Procedures can declare the
    … …  
    27222810}
    27232811
    2724 @online{GCCExtensions,
     2812@misc{GCCExtensions,
    27252813    contributer = {a3moss@uwaterloo.ca},
    2726     key         = {{GNU}},
     2814    key         = {C Extensions},
    27272815    author      = {{C Extensions}},
    27282816    title       = {Extensions to the {C} Language Family},
    27292817    year        = 2014,
    2730     note        = {\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}},
    2731     urldate     = {2017-04-02}
     2818    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}},
     2819    optnote     = {Accessed: 2017-04-02},
    27322820}
    27332821
    … …  
    27682856    month       = jan,
    27692857    year        = {1987},
    2770     pages       = {1--11},
     2858    pages       = {1-11},
    27712859    publisher   = {ACM},
    27722860    address     = {New York, NY, USA},
     2861}
     2862
     2863@article{Hesselink17,
     2864    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
     2865    title       = {Fast mutual exclusion by the {T}riangle algorithm},
     2866    author      = {Wim H. Hesselink and Peter Buhr and David Dice},
     2867    journal     = ccpe,
     2868    volume      = 30,
     2869    number      = 4,
     2870    year        = 2018,
     2871    month       = feb,
     2872    publisher   = {John Wiley \& Sons},
     2873    note        = {\url{https://doi.org/10.1002/cpe.4183}}
    27732874}
    27742875
    … …  
    28502951    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010},
    28512952    edition     = {3rd},
    2852     publisher   = {International Standard Organization},
     2953    publisher   = {International Standard Organization},
    28532954    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    28542955    year        = 2010,
    … …  
    28862987    journal     = sigplan,
    28872988    year        = 1976,
    2888     volume      = 11, pages = {63-65},
     2989    volume      = 11,
     2990    pages       = {63-65},
    28892991    note        = {Conference on Data: Abstraction, Definition and Structure},
    28902992    summary     = {
    … …  
    29023004    month       = jul, year = 1987,
    29033005    volume      = 4, number = 4, pages = {9-16}
     3006}
     3007
     3008@misc{Sutter05c,
     3009    contributer = {pabuhr@plg},
     3010    title       = {The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software},
     3011    author      = {Herb Sutter},
     3012    howpublished= {\url{http://www.gotw.ca/publications/concurrency-ddj.htm}},
     3013    year        = {2005},
     3014    note        = {originally Dr. Dobb's Journal 30(3)},
    29043015}
    29053016
    … …  
    30533164    keywords    = {GMP arbitrary-precision library},
    30543165    contributer = {pabuhr@plg},
     3166    key         = {GMP},
    30553167    title       = {{GNU} Multiple Precision Arithmetic Library},
    3056     author      = {GMP},
    3057     organization= {GNU},
     3168    address     = {GNU},
    30583169    year        = 2016,
    30593170    note        = {\href{https://gmplib.org}{https://\-gmplib.org}},
    … …  
    30843195}
    30853196
    3086 @online{GObject,
     3197@misc{GObject,
    30873198    keywords    = {GObject},
    30883199    contributor = {a3moss@uwaterloo.ca},
    3089     author      = {{GObject}},
    3090     organization= {The GNOME Project},
    3091     title       = {{GObject} Reference Manual},
     3200    key         = {GObject},
     3201    organization= {The {GNOME} Project},
     3202    title       = {{GO}bject Reference Manual},
    30923203    year        = 2014,
    3093     url         = {https://developer.gnome.org/gobject/stable/},
    3094     urldate     = {2017-04-04}
     3204    howpublished= {https://developer.gnome.org/gobject/stable/},
     3205    optnote     = {Accessed: 2017-04},
    30953206}
    30963207
    … …  
    31643275
    31653276% H
     3277
     3278@manual{Haskell10,
     3279    keywords    = {Haskell},
     3280    contributer = {pabuhr@plg},
     3281    author      = {Haskell},
     3282    title       = {Haskell 2010 Language Report},
     3283    edition     = {{S}imon {M}arlow},
     3284    year        = 2010,
     3285    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
     3286}
    31663287
    31673288@article{Michael04a,
    … …  
    32363357}
    32373358
     3359@article{Hesselink17,
     3360    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
     3361    title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
     3362    author      = {Peter Buhr and David Dice and Wim H. Hesselink},
     3363    journal     = ccpe,
     3364    volumeopt   = 30,
     3365    numberopt   = 4,
     3366    year        = 2018,
     3367    month       = may,
     3368    publisher   = {John Wiley \& Sons},
     3369    note        = {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
     3370}
     3371
    32383372@article{Buhr15a,
    32393373    keywords    = {software solution, mutual exclusion, performance experiment},
    … …  
    33503484    contributer = {pabuhr@plg},
    33513485    author      = {Richard C. Bilson},
    3352     title       = {Implementing Overloading and Polymorphism in Cforall},
     3486    title       = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$},
    33533487    school      = {School of Computer Science, University of Waterloo},
    33543488    year        = 2003,
    … …  
    36163750}
    36173751
     3752@inproceedings{Pharr12,
     3753    title       = {ispc: A {SPMD} compiler for high-performance CPU programming},
     3754    author      = {Pharr, Matt and Mark, William R},
     3755    booktitle   = {Innovative Parallel Computing (InPar), 2012},
     3756    pages       = {1--13},
     3757    year        = {2012},
     3758    month       = may,
     3759    address     = {San Jose, CA, USA},
     3760    publisher   = {IEEE},
     3761}
     3762
     3763@inproceedings{DeLozier13,
     3764    keywords    = {C++, local pointers, memory safety, type-safety},
     3765    author      = {DeLozier, Christian and Eisenberg, Richard and Nagarakatte, Santosh and Osera, Peter-Michael and Martin, Milo M.K. and Zdancewic, Steve},
     3766    title       = {{I}ronclad {C++}: A Library-augmented Type-safe Subset of {C++}},
     3767    booktitle   = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications},
     3768    series      = {OOPSLA'13},
     3769    year        = {2013},
     3770    address     = {Indianapolis, Indiana, USA},
     3771    pages       = {287-304},
     3772    publisher   = {ACM},
     3773}
     3774
    36183775@inproceedings{Hibbard77,
    36193776    keywords    = {algol-68, concurrency},
    … …  
    36573814                 
    36583815@book{Java,
    3659     keywords    = {Java},
    3660     contributer = {pabuhr@plg},
    3661     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
    3662     title       = {The {Java} Language Specification},
     3816    keywords    = {Java},
     3817    contributer = {pabuhr@plg},
     3818    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
     3819    title       = {The {Java} Language Specification},
    36633820    publisher   = {Addison-Wesley},
    36643821    address     = {Reading},
    3665     year        = 2000,
     3822    year        = 2000,
    36663823    edition     = {2nd},
    36673824}
    36683825
    36693826@manual{Java8,
    3670     keywords    = {Java SE 8},
    3671     contributer = {pabuhr@plg},
    3672     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
    3673     title       = {{Java} Language Spec.},
    3674     organization= {Oracle},
     3827    keywords    = {Java SE 8},
     3828    contributer = {pabuhr@plg},
     3829    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
     3830    title       = {{Java} Language Specification},
    36753831    publisher   = {Oracle},
    3676     year        = 2015,
    3677     edition     = {Java SE8},
     3832    year        = 2015,
     3833    edition     = {{J}ava {SE} 8},
    36783834}
    36793835
    … …  
    36853841    organization= {Oracle},
    36863842    year        = 2014,
    3687     note        = {\href{http://docs.oracle.com/javase/7/docs/api/java/util/concurrent/package-summary.html}{\textsf{http://docs.oracle.com/\-javase/7/\-docs/\-api/\-java/\-util/\-concurrent/\-package-summary.html}}},
     3843    note        = {\href{http://docs.oracle.com/javase/7/docs/api/java/util/concurrent/package-summary.html}{http://docs.oracle.com/\-javase/7/\-docs/\-api/\-java/\-util/\-concurrent/\-package-summary.html}},
    36883844}
    36893845
    … …  
    36933849    keywords    = {concurrency, critical section},
    36943850    contributer = {pabuhr@plg},
    3695     author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
     3851    author      = {Dominic Duggan and G. V. Cormack and John Ophel},
    36963852    title       = {Kinded Type Inference for Parametric Overloading},
    36973853    journal     = acta,
    … …  
    42174373    month       = jun,
    42184374    year        = 2015,
    4219     note        = {\href{http://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf}{\textsf{http://www.mpi-forum.org/\-docs/\-mpi-3.1/\-mpi31-report.pdf}}},
     4375    note        = {\href{http://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf}{http://www.mpi-forum.org/\-docs/\-mpi-3.1/\-mpi31-report.pdf}},
    42204376}
    42214377
    … …  
    43584514    year        = 1980,
    43594515    pages       = {833-842},
    4360     note        = {\href{http://groups.csail.mit.edu/tds/papers/Lynch/allertonconf.pdf}{\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}} [Accessed on March 2014]},
     4516    note        = {\href{http://groups.csail.mit.edu/tds/papers/Lynch/allertonconf.pdf}{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf} [Accessed on March 2014]},
    43614517    optnote     = {\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}},
    43624518}
    … …  
    44414597    booktitle   = {Proceedings of the Summer 1990 UKUUG Conference},
    44424598    year        = 1990,
    4443     pages       = {41--51},
     4599    pages       = {41-51},
    44444600    note        = {\href{http://doc.cat-v.org/bell_labs/new_c_compilers/new_c_compiler.pdf}{http://\-doc.cat-v.org/\-bell\_labs/\-new\_c\_compilers/\-new\_c\_compiler.pdf}},
    44454601}
    … …  
    44584614}
    44594615
     4616@article{Anderson01,
     4617    keywords    = {software solutions, fast path},
     4618    contributer = {pabuhr@plg},
     4619    author      = {James H. Anderson and Yong-Jik Kim},
     4620    title       = {A New Fast-Path Mechanism For Mutual Exclusion},
     4621    journal     = {Distributed Computing},
     4622    month       = jan,
     4623    year        = 2001,
     4624    volume      = 14,
     4625    number      = 1,
     4626    pages       = {17-29},
     4627}
     4628
    44604629@article{Lamport74,
    44614630    keywords    = {concurrency, N-Process solution, O(N)},
    … …  
    44694638    number      = 8,
    44704639    pages       = {453-455},
     4640}
     4641
     4642@book{NeWS,
     4643    AUTHOR      = {James Gosling and David S. H. Rosenthal and Richelle J. Arden},
     4644    TITLE       = {The {NeWS} Book},
     4645    PUBLISHER   = {Springer-Verlag},
     4646    YEAR        = {1989}
    44714647}
    44724648
    … …  
    45904766}
    45914767
    4592 @manual{obj-c-book,
     4768@misc{obj-c-book,
    45934769    keywords    = {objective-c},
    45944770    contributor = {a3moss@uwaterloo.ca},
    4595     author      = {{Objective-C}},
    4596     title       = {The {Objective-C} Programming Language},
    4597     organization= {Apple Computer Inc.},
    4598     address     = {Cupertino, CA},
    4599     year        = 2003
    4600 }
    4601 
    4602 @online{xcode7,
     4771    key         = {Objective-C},
     4772    title       = {Objective-C},
     4773    publisher   = {Apple Inc.},
     4774    year        = 2015,
     4775    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}},
     4776    optnote     = {Accessed: 2018-03}
     4777}
     4778
     4779@misc{xcode7,
    46034780    keywords    = {objective-c},
    46044781    contributor = {a3moss@uwaterloo.ca},
    4605     author      = {{Xcode}},
    4606     title       = {{Xcode} 7 Release Notes},
     4782    key         = {Xcode},
     4783    title       = {{X}code 7 Release Notes},
    46074784    year        = 2015,
    4608     note        = {\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}},
    4609     urldate     = {2017-04-04}
     4785    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}},
     4786    optnote     = {Accessed: 2017-04}
    46104787}
    46114788
    … …  
    47334910}
    47344911
    4735 @techreport{OpenMP,
     4912@manual{OpenMP,
    47364913    keywords    = {concurrency, openmp, spmd},
    47374914    contributer = {pabuhr@plg},
    4738     author      = {OpenMP Architecture Review Board},
    4739     title       = {OpenMP Application Program Interface, Version 4.0},
    4740     month       = jul,
    4741     year        = 2013,
    4742     note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}}},
     4915    key         = {OpenMP},
     4916    title       = {OpenMP Application Program Interface, Version 4.5},
     4917    month       = nov,
     4918    year        = 2015,
     4919    note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
    47434920}
    47444921
    … …  
    51475324    year        = 1984,
    51485325    series      = {Computers and their Applications},
    5149     address     = {Market Cross House, Cooper Street, Chichester, West Sussex,
    5150         PO19 1EB, England},
     5326    address     = {Market Cross House, Cooper Street, Chichester, West Sussex, PO19 1EB, England},
    51515327    summary     = {
    51525328        The principles of Procedural Abstraction, Data Type Completeness,
    … …  
    52005376}
    52015377
    5202 @book{PowerPC,
    5203     key         = {PowerPC processor},
    5204     title       = {Programming Environments Manual for 32-Bit Implementations of the PowerPC ArchitectureARM Architecture},
    5205     publisher   = {Freescale Semiconductor},
    5206     volume      = {MPCFPE32B},
    5207     edition     = {Rev. 3},
    5208     month       = 9,
    5209     year        = 2005,
     5378@inproceedings{Rafkind09,
     5379    keywords    = {accurate, C programming language, conservative, garbage collection, precise},
     5380    contributer = {pabuhr@plg},
     5381    author      = {Rafkind, Jon and Wick, Adam and Regehr, John and Flatt, Matthew},
     5382    title       = {Precise Garbage Collection for C},
     5383    booktitle   = {Proceedings of the 2009 International Symposium on Memory Management},
     5384    series      = {ISMM '09},
     5385    year        = {2009},
     5386    location    = {Dublin, Ireland},
     5387    pages       = {39-48},
     5388    publisher   = {ACM},
     5389    address     = {New York, NY, USA},
    52105390}
    52115391
    … …  
    52805460
    52815461@article{psa:persistence,
    5282     keywords    = {persistence, first-class procedures, closure, PS-Algol,
    5283         Abstract Data Types},
     5462    keywords    = {persistence, first-class procedures, closure, PS-Algol, Abstract Data Types},
    52845463    contributer = {gjditchfield@plg},
    52855464    author      = {Malcolm P. Atkinson and Ronald Morrison},
    … …  
    53125491
    53135492@article{Procol89,
    5314     keywords    = {active objects, object-oriented languages,
    5315         object-based languages, explicit per-object protocol},
     5493    keywords    = {active objects, object-oriented languages, object-based languages, explicit per-object protocol},
    53165494    contributer = {akgoel@plg},
    53175495    author      = {Jan van den Bos and Chris Laffra},
    … …  
    53275505}
    53285506
     5507@book{PowerPC,
     5508    key         = {PowerPC processor},
     5509    title       = {Programming Environments Manual for 32-Bit Implementations of the PowerPC ArchitectureARM Architecture},
     5510    publisher   = {Freescale Semiconductor},
     5511    volume      = {MPCFPE32B},
     5512    edition     = {Rev. 3},
     5513    month       = 9,
     5514    year        = 2005,
     5515}
     5516
    53295517@book{Butenhof97,
    53305518    keywords    = {PThreads, concurrency},
    … …  
    53735561    contributer = {pabuhr@plg},
    53745562    key         = {C++98},
    5375     title       = {Programming Languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    5376     organization= {International Standard ISO/IEC 14882:1998 (E)},
    5377     publisher   = {American National Standards Institute},
    5378     address     = {www.ansi.org},
     5563    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:1998},
     5564    edition     = {1st},
     5565    publisher   = {International Standard Organization},
     5566    address     = {\href{https://www.iso.org/standard/25845.html}{https://\-www.iso.org/\-standard/\-25845.html}},
    53795567    year        = 1998,
    53805568}
    … …  
    53835571    keywords    = {ISO/IEC C++ 14},
    53845572    contributer = {pabuhr@plg},
    5385     author      = {C++14},
    5386     title       = {Programming Languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} ISO/IEC 14882:2014},
     5573    key         = {C++14},
     5574    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2014},
    53875575    edition     = {4th},
    53885576    publisher   = {International Standard Organization},
    … …  
    55825770}
    55835771
     5772@article{Moore75,
     5773    keywords    = {approximation methods, integrated circuits},
     5774    contributer = {pabuhr@plg},
     5775    author      = {Gordon E. Moore},
     5776    title       = {Progress in Digital Integrated Electronics},
     5777    journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
     5778    year        = 1975,
     5779    pages       = {11-13},
     5780}
     5781
    55845782@article{promises,
    55855783    keywords    = {futures, Argus, call streams, rpc},
    55865784    contributer = {gjditchfield@plg},
    55875785    author      = {Barbara Liskov and Liuba Shrira},
    5588     title       = {Promises: Linguistic Support for Efficient Asynchronous
    5589           Procedure Calls in Distributed Systems},
     5786    title       = {Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems},
    55905787    journal     = sigplan,
    55915788    year        = 1988,
    … …  
    56445841@manual{Python,
    56455842    keywords    = {Python},
    5646     contributer = {pabuhr},
     5843    contributer = {pabuhr@plg},
    56475844    title       = {Python Reference Manual, Release 2.5},
    56485845    author      = {Guido van Rossum},
    … …  
    56585855    keywords    = {Cyclone, existential types, polymorphism, type variables},
    56595856    contributer = {a3moss@plg},
    5660     author      = {Dan Grossman},
     5857    author      = {D. Grossman},
    56615858    title       = {Quantified Types in an Imperative Language},
    56625859    journal     = toplas,
    … …  
    56755872}
    56765873
    5677 @article{Hoare61,
    5678     keywords    = {quick sort},
    5679     contributer = {pabuhr@plg},
    5680     author      = {C. A. R. Hoare},
    5681     title       = {Algorithms 63/64: Partition/Quicksort},
    5682     journal     = cacm,
    5683     volume      = 4,
    5684     number      = 7,
    5685     month       = jul,
    5686     year        = 1961,
    5687     pages       = {321},
     5874@article{Nakaike15,
     5875    keywords    = {hardware transactional memory},
     5876    contributer = {pabuhr@plg},
     5877    author      = {Nakaike, Takuya and Odaira, Rei and Gaudet, Matthew and Michael, Maged M. and Tomari, Hisanobu},
     5878    title       = {Quantitative Comparison of Hardware Transactional Memory for Blue Gene/Q, zEnterprise {EC12}, {I}ntel Core, and {POWER8}},
     5879    journal     = {SIGARCH Comput. Archit. News},
     5880    volume      = {43},
     5881    number      = {3},
     5882    month       = jun,
     5883    year        = {2015},
     5884    pages       = {144--157},
     5885    publisher   = {ACM},
     5886    address     = {New York, NY, USA},
    56885887}
    56895888
    … …  
    58296028
    58306029@mastersthesis{Schluntz17,
     6030    keywords    = {constructors, destructors, tuples},
    58316031    author      = {Robert Schluntz},
    5832     title       = {Resource Management and Tuples in C$\mathbf{\forall}$},
     6032    title       = {Resource Management and Tuples in \textsf{C}$\mathbf{\forall}$},
    58336033    school      = {School of Computer Science, University of Waterloo},
    58346034    year        = 2017,
    58356035    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    5836     note        = {[[unpublished]]}
     6036    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
    58376037}
    58386038
    … …  
    59076107    keywords    = {Rust programming language},
    59086108    contributer = {pabuhr@plg},
    5909     author      = {{Rust}},
    5910     title       = {The {Rust} Programming Language},
    5911     organization= {The Rust Project Developers},
     6109    key         = {Rust},
     6110    title       = {The {R}ust Programming Language},
     6111    address     = {The Rust Project Developers},
    59126112    year        = 2015,
    59136113    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    59196119    keywords    = {Scala programming language},
    59206120    contributer = {pabuhr@plg},
    5921     author      = {{Scala}},
    5922     title       = {{Scala} Language Specification, Version 2.11},
    5923     organization= {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
     6121    key         = {Scala},
     6122    title       = {{S}cala Language Specification, Version 2.11},
     6123    address     = {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
    59246124    year        = 2016,
    59256125    note        = {\href{http://www.scala-lang.org/files/archive/spec/2.11}{http://\-www.scala-lang.org/\-files/\-archive/\-spec/\-2.11}},
    … …  
    59876187    month       = sep,
    59886188    year        = 1995,
    5989     note        = {\href{http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-95-7.pdf}{\textsf{http://www.hpl.hp.com/\-techreports/\-Compaq-DEC/\-WRL-95-7.pdf}}, Reprinted in \cite{Adve95reprint}.},
     6189    note        = {\href{http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-95-7.pdf}{http://www.hpl.hp.com/\-techreports/\-Compaq-DEC/\-WRL-95-7.pdf}, Reprinted in \cite{Adve95reprint}.},
    59906190}
    59916191
    … …  
    60016201    number      = 12,
    60026202    pages       = {66-76},
     6203}
     6204
     6205@article{Nickolls08,
     6206    author      = {Nickolls, John and Buck, Ian and Garland, Michael and Skadron, Kevin},
     6207    title       = {Scalable Parallel Programming with CUDA},
     6208    journal     = {Queue},
     6209    volume      = {6},
     6210    number      = {2},
     6211    month       = mar,
     6212    year        = 2008,
     6213    pages       = {40-53},
     6214    publisher   = {ACM},
     6215    address     = {New York, NY, USA},
     6216}
     6217
     6218@inproceedings{Leissa14,
     6219    title       = {{S}ierra: a {SIMD} extension for {C}++},
     6220    author      = {Lei{\ss}a, Roland and Haffner, Immanuel and Hack, Sebastian},
     6221    booktitle   = {Proceedings of the 2014 Workshop on Workshop on programming models for SIMD/Vector processing},
     6222    pages       = {17-24},
     6223    year        = {2014},
     6224    organization= {ACM}
    60036225}
    60046226
    … …  
    61496371    author      = {Herb Sutter and James Larus},
    61506372    title       = {Software and the Concurrency Revolution},
    6151     journal     = Queue,
     6373    journal     = {Queue},
    61526374    year        = 2005,
    61536375    month       = sep,
    … …  
    62426464
    62436465@article{Smith98,
    6244   keywords = {Polymorphic C},
    6245   contributor = {a3moss@uwaterloo.ca},
    6246   title={A sound polymorphic type system for a dialect of C},
    6247   author={Smith, Geoffrey and Volpano, Dennis},
    6248   journal={Science of computer programming},
    6249   volume={32},
    6250   number={1-3},
    6251   pages={49--72},
    6252   year={1998},
    6253   publisher={Elsevier}
     6466    keywords    = {Polymorphic C},
     6467    contributor = {a3moss@uwaterloo.ca},
     6468    title       = {A sound polymorphic type system for a dialect of {C}},
     6469    author      = {Smith, Geoffrey and Volpano, Dennis},
     6470    journal     = {Science of computer programming},
     6471    volume      = 32,
     6472    number      = {1-3},
     6473    pages       = {49-72},
     6474    year        = {1998},
     6475    publisher   = {Elsevier}
    62546476}
    62556477
    … …  
    63526574}
    63536575
    6354 @online{Sutter15,
     6576@misc{Sutter15,
    63556577    contributer = {pabuhr@plg},
    63566578    author      = {Herb Sutter and Bjarne Stroustrup and Gabriel Dos Reis},
    … …  
    63596581    month       = oct,
    63606582    year        = 2015,
    6361     pages       = {1--6},
     6583    pages       = {1-6},
    63626584    numpages    = {6},
    6363     note        = {\href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0144r0.pdf}{http://\-www.open-std.org/\-jtc1/\-sc22/\-wg21/\-docs/\-papers/\-2015/\-p0144r0.pdf}},
     6585    howpublished= {\href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0144r0.pdf}{http://\-www.open-std.org/\-jtc1/\-sc22/\-wg21/\-docs/\-papers/\-2015/\-p0144r0.pdf}},
    63646586}
    63656587
    … …  
    66356857}
    66366858
    6637 @online{TIOBE,
    6638     contributer = {pabuhr@plg},
    6639     author      = {{TIOBE Index}},
    6640     year        = {March 2017},
    6641     url         = {http://www.tiobe.com/tiobe_index},
     6859@misc{TIOBE,
     6860    contributer = {pabuhr@plg},
     6861    key         = {TIOBE Index},
     6862    title       = {{TIOBE} Index},
     6863    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
     6864    optnote     = {Accessed: 2018-09},
    66426865}
    66436866
    … …  
    66506873    month       = sep,
    66516874    year        = 1990,
    6652     note        = {}
    66536875}
    66546876
    … …  
    69577179}
    69587180
    6959 @online{Vala,
     7181@misc{Vala,
    69607182    keywords    = {GObject, Vala},
    69617183    contributor = {a3moss@uwaterloo.ca},
    6962     author      = {{Vala}},
    6963     organization= {The GNOME Project},
    6964     title       = {Vala Reference Manual},
     7184    key         = {Vala},
     7185    organization= {The {GNOME} Project},
     7186    title       = {{V}ala Reference Manual},
    69657187    year        = 2017,
    6966     url         = {https://wiki.gnome.org/Projects/Vala/Manual},
    6967     urldate     = {2017-04-04}
     7188    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
     7189    optnote     = {Accessed: 2017-04}
    69687190}
    69697191
Note: See TracChangeset for help on using the changeset viewer.