Changeset b2052f7 for doc/bibliography
- Timestamp:
- Jan 25, 2018, 10:20:39 PM (7 years ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/cfa.bib
rf4e3419d rb2052f7 28 28 % @string{spe="Softw. Pract. Exp."} 29 29 @string{ccpe="Concurrency and Computation: Practice and Experience"} 30 % @string{ccpe="Concurrency Comput . Pract. Exp."}30 % @string{ccpe="Concurrency Comput: Pract Experience"} 31 31 @string{sigplan="SIGPLAN Notices"} 32 32 % @string{sigplan="SIGPLAN Not."} … … 866 866 contributer = {pabuhr@plg}, 867 867 author = {C11}, 868 title = {Programming Languages -- {C} {ISO/IEC} 9889:2011 },868 title = {Programming Languages -- {C} {ISO/IEC} 9889:2011-12}, 869 869 edition = {3rd}, 870 870 publisher = {International Standard Organization}, … … 877 877 keywords = {ISO/IEC TS 19217:2015}, 878 878 contributer = {a3moss@uwaterloo.ca}, 879 author= {Concepts},879 key = {Concepts}, 880 880 title = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts {ISO/IEC} {TS} 19217:2015}, 881 881 publisher = {International Standard Organization}, … … 1019 1019 contributer = {pabuhr@plg}, 1020 1020 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}, 1022 1022 institution = {Department of Computer Science, University of Waterloo}, 1023 1023 address = {Waterloo, Ontario, Canada, N2L 3G1}, … … 1437 1437 month = jul, 1438 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}}},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}}, 1440 1440 } 1441 1441 … … 2447 2447 keywords = {Erlang}, 2448 2448 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 = 201 5,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}}, 2455 2455 } 2456 2456 … … 2768 2768 month = jan, 2769 2769 year = {1987}, 2770 pages = {1- -11},2770 pages = {1-11}, 2771 2771 publisher = {ACM}, 2772 2772 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}} 2773 2786 } 2774 2787 … … 2850 2863 title = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010}, 2851 2864 edition = {3rd}, 2852 publisher 2865 publisher = {International Standard Organization}, 2853 2866 address = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}}, 2854 2867 year = 2010, … … 2886 2899 journal = sigplan, 2887 2900 year = 1976, 2888 volume = 11, pages = {63-65}, 2901 volume = 11, 2902 pages = {63-65}, 2889 2903 note = {Conference on Data: Abstraction, Definition and Structure}, 2890 2904 summary = { … … 3672 3686 author = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley}, 3673 3687 title = {{Java} Language Spec.}, 3674 organization= {Oracle},3675 3688 publisher = {Oracle}, 3676 3689 year = 2015, 3677 edition = {Java SE 8},3690 edition = {Java SE 8}, 3678 3691 } 3679 3692 … … 3685 3698 organization= {Oracle}, 3686 3699 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}}, 3688 3701 } 3689 3702 … … 4217 4230 month = jun, 4218 4231 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}}, 4220 4233 } 4221 4234 … … 4358 4371 year = 1980, 4359 4372 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]}, 4361 4374 optnote = {\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}}, 4362 4375 } … … 4441 4454 booktitle = {Proceedings of the Summer 1990 UKUUG Conference}, 4442 4455 year = 1990, 4443 pages = {41- -51},4456 pages = {41-51}, 4444 4457 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}}, 4445 4458 } … … 4458 4471 } 4459 4472 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 4460 4486 @article{Lamport74, 4461 4487 keywords = {concurrency, N-Process solution, O(N)}, … … 4469 4495 number = 8, 4470 4496 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} 4471 4504 } 4472 4505 … … 4740 4773 month = jul, 4741 4774 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}}, 4743 4776 } 4744 4777 … … 5987 6020 month = sep, 5988 6021 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}.}, 5990 6023 } 5991 6024 … … 6149 6182 author = {Herb Sutter and James Larus}, 6150 6183 title = {Software and the Concurrency Revolution}, 6151 journal = Queue,6184 journal = {Queue}, 6152 6185 year = 2005, 6153 6186 month = sep, … … 6242 6275 6243 6276 @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} 6254 6287 } 6255 6288
Note: See TracChangeset
for help on using the changeset viewer.