Changeset b2052f7


Ignore:
Timestamp:
Jan 25, 2018, 10:20:39 PM (6 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
44574f2
Parents:
f4e3419d
Message:

update bibliography

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/cfa.bib

    rf4e3419d rb2052f7  
    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."}
    … …  
    866866    contributer = {pabuhr@plg},
    867867    author      = {C11},
    868     title       = {Programming Languages -- {C} {ISO/IEC} 9889:2011},
     868    title       = {Programming Languages -- {C} {ISO/IEC} 9889:2011-12},
    869869    edition     = {3rd},
    870870    publisher   = {International Standard Organization},
    … …  
    877877    keywords    = {ISO/IEC TS 19217:2015},
    878878    contributer = {a3moss@uwaterloo.ca},
    879     author      = {Concepts},
     879    key         = {Concepts},
    880880    title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts {ISO/IEC} {TS} 19217:2015},
    881881    publisher   = {International Standard Organization},
    … …  
    10191019    contributer = {pabuhr@plg},
    10201020    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},
     1021    title       = {{\mbox{\mdseries\sffamily C{$\mathbf{\forall}$}}}\ Users Guide, Version 0.1},
    10221022    institution = {Department of Computer Science, University of Waterloo},
    10231023    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    … …  
    14371437    month       = jul,
    14381438    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}}},
     1439    note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}},
    14401440}
    14411441
    … …  
    24472447    keywords    = {Erlang},
    24482448    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}}},
     2449    key         = {Erlang},
     2450    title       = {Erlang/OTP System Documentation 8.1},
     2451    organization= {Erlang AB},
     2452    month       = sep,
     2453    year        = 2016,
     2454    note        = {\href{http://erlang.org/doc/pdf/otp-system-documentation.pdf}{http://\-erlang.org/\-doc/\-pdf/\-otp-system-documentation.pdf}},
    24552455}
    24562456
    … …  
    27682768    month       = jan,
    27692769    year        = {1987},
    2770     pages       = {1--11},
     2770    pages       = {1-11},
    27712771    publisher   = {ACM},
    27722772    address     = {New York, NY, USA},
     2773}
     2774
     2775@article{Hesselink17,
     2776    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
     2777    title       = {Fast mutual exclusion by the {T}riangle algorithm},
     2778    author      = {Wim H. Hesselink and Peter Buhr and David Dice},
     2779    journal     = ccpe,
     2780    volume      = 30,
     2781    number      = 4,
     2782    year        = 2018,
     2783    month       = feb,
     2784    publisher   = {John Wiley \& Sons},
     2785    note        = {\url{https://doi.org/10.1002/cpe.4183}}
    27732786}
    27742787
    … …  
    28502863    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010},
    28512864    edition     = {3rd},
    2852     publisher   = {International Standard Organization},
     2865    publisher   = {International Standard Organization},
    28532866    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    28542867    year        = 2010,
    … …  
    28862899    journal     = sigplan,
    28872900    year        = 1976,
    2888     volume      = 11, pages = {63-65},
     2901    volume      = 11,
     2902    pages       = {63-65},
    28892903    note        = {Conference on Data: Abstraction, Definition and Structure},
    28902904    summary     = {
    … …  
    36723686    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
    36733687    title       = {{Java} Language Spec.},
    3674     organization= {Oracle},
    36753688    publisher   = {Oracle},
    36763689    year        = 2015,
    3677     edition     = {Java SE8},
     3690    edition     = {Java SE 8},
    36783691}
    36793692
    … …  
    36853698    organization= {Oracle},
    36863699    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}}},
     3700    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}},
    36883701}
    36893702
    … …  
    42174230    month       = jun,
    42184231    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}}},
     4232    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}},
    42204233}
    42214234
    … …  
    43584371    year        = 1980,
    43594372    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]},
     4373    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]},
    43614374    optnote     = {\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}},
    43624375}
    … …  
    44414454    booktitle   = {Proceedings of the Summer 1990 UKUUG Conference},
    44424455    year        = 1990,
    4443     pages       = {41--51},
     4456    pages       = {41-51},
    44444457    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}},
    44454458}
    … …  
    44584471}
    44594472
     4473@article{Anderson01,
     4474    keywords    = {software solutions, fast path},
     4475    contributer = {pabuhr@plg},
     4476    author      = {James H. Anderson and Yong-Jik Kim},
     4477    title       = {A New Fast-Path Mechanism For Mutual Exclusion},
     4478    journal     = {Distributed Computing},
     4479    month       = jan,
     4480    year        = 2001,
     4481    volume      = 14,
     4482    number      = 1,
     4483    pages       = {17-29},
     4484}
     4485
    44604486@article{Lamport74,
    44614487    keywords    = {concurrency, N-Process solution, O(N)},
    … …  
    44694495    number      = 8,
    44704496    pages       = {453-455},
     4497}
     4498
     4499@book{NeWS,
     4500    AUTHOR      = {James Gosling and David S. H. Rosenthal and Richelle J. Arden},
     4501    TITLE       = {The {NeWS} Book},
     4502    PUBLISHER   = {Springer-Verlag},
     4503    YEAR        = {1989}
    44714504}
    44724505
    … …  
    47404773    month       = jul,
    47414774    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}}},
     4775    note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}},
    47434776}
    47444777
    … …  
    59876020    month       = sep,
    59886021    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}.},
     6022    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}.},
    59906023}
    59916024
    … …  
    61496182    author      = {Herb Sutter and James Larus},
    61506183    title       = {Software and the Concurrency Revolution},
    6151     journal     = Queue,
     6184    journal     = {Queue},
    61526185    year        = 2005,
    61536186    month       = sep,
    … …  
    62426275
    62436276@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}
     6277    keywords    = {Polymorphic C},
     6278    contributor = {a3moss@uwaterloo.ca},
     6279    title       = {A sound polymorphic type system for a dialect of C},
     6280    author      = {Smith, Geoffrey and Volpano, Dennis},
     6281    journal     = {Science of computer programming},
     6282    volume      = 32,
     6283    number      = {1-3},
     6284    pages       = {49-72},
     6285    year        = {1998},
     6286    publisher   = {Elsevier}
    62546287}
    62556288
Note: See TracChangeset for help on using the changeset viewer.