Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/cfa.bib

    rb2052f7 r4438281  
    2828% @string{spe="Softw. Pract. Exp."}
    2929@string{ccpe="Concurrency and Computation: Practice and Experience"}
    30 % @string{ccpe="Concurrency Comput: Pract Experience"}
     30% @string{ccpe="Concurrency Comput. Pract. Exp."}
    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-12},
     868    title       = {Programming Languages -- {C} {ISO/IEC} 9889:2011},
    869869    edition     = {3rd},
    870870    publisher   = {International Standard Organization},
    … …  
    877877    keywords    = {ISO/IEC TS 19217:2015},
    878878    contributer = {a3moss@uwaterloo.ca},
    879     key         = {Concepts},
     879    author      = {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}{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}{\textsf{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}},
    14401440}
    14411441
    … …  
    24472447    keywords    = {Erlang},
    24482448    contributer = {pabuhr@plg},
    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}},
     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}}},
    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}}
    27862773}
    27872774
    … …  
    28632850    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010},
    28642851    edition     = {3rd},
    2865     publisher   = {International Standard Organization},
     2852    publisher   = {International Standard Organization},
    28662853    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    28672854    year        = 2010,
    … …  
    28992886    journal     = sigplan,
    29002887    year        = 1976,
    2901     volume      = 11,
    2902     pages       = {63-65},
     2888    volume      = 11, pages = {63-65},
    29032889    note        = {Conference on Data: Abstraction, Definition and Structure},
    29042890    summary     = {
    … …  
    36863672    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
    36873673    title       = {{Java} Language Spec.},
     3674    organization= {Oracle},
    36883675    publisher   = {Oracle},
    36893676    year        = 2015,
    3690     edition     = {Java SE 8},
     3677    edition     = {Java SE8},
    36913678}
    36923679
    … …  
    36983685    organization= {Oracle},
    36993686    year        = 2014,
    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}},
     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}}},
    37013688}
    37023689
    … …  
    42304217    month       = jun,
    42314218    year        = 2015,
    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}},
     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}}},
    42334220}
    42344221
    … …  
    43714358    year        = 1980,
    43724359    pages       = {833-842},
    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]},
     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]},
    43744361    optnote     = {\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}},
    43754362}
    … …  
    44544441    booktitle   = {Proceedings of the Summer 1990 UKUUG Conference},
    44554442    year        = 1990,
    4456     pages       = {41-51},
     4443    pages       = {41--51},
    44574444    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}},
    44584445}
    … …  
    44714458}
    44724459
    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 
    44864460@article{Lamport74,
    44874461    keywords    = {concurrency, N-Process solution, O(N)},
    … …  
    44954469    number      = 8,
    44964470    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}
    45044471}
    45054472
    … …  
    47734740    month       = jul,
    47744741    year        = 2013,
    4775     note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}},
     4742    note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}}},
    47764743}
    47774744
    … …  
    60205987    month       = sep,
    60215988    year        = 1995,
    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}.},
     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}.},
    60235990}
    60245991
    … …  
    61826149    author      = {Herb Sutter and James Larus},
    61836150    title       = {Software and the Concurrency Revolution},
    6184     journal     = {Queue},
     6151    journal     = Queue,
    61856152    year        = 2005,
    61866153    month       = sep,
    … …  
    62756242
    62766243@article{Smith98,
    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}
     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}
    62876254}
    62886255
Note: See TracChangeset for help on using the changeset viewer.