Changeset 154fdc8 for doc/bibliography/cfa.bib

Timestamp:

Apr 19, 2017, 10:15:45 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

aaron-thesis, arm-eh, 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:

cd348e7

Parents:

221c2de (diff), de4ce0e (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' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/bibliography/cfa.bib (modified) (19 diffs)

doc/bibliography/cfa.bib

@@ -9 +9 @@
 %    Predefined journal names:
 %  acmcs: Computing Surveys             acta: Acta Infomatica
+@string{acta="Acta Infomatica"}
 %  cacm: Communications of the ACM
 %  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
@@ -433 +434 @@
     keywords    = {Parametric polymorphism, alphard, iterators, nested types},
     contributer = {gjditchfield@plg},
+    key         = {Alphard},
     editor      = {Mary Shaw},
     title       = {{ALPHARD}: Form and Content},
@@ -861 +863 @@
 
 @techreport{C11,
-    type = {International Standard},
+    type        = {International Standard},
     keywords    = {ISO/IEC C 11},
     contributer = {pabuhr@plg},
@@ -872 +874 @@
 
 @techreport{C++Concepts,
-    type = {International Standard},
+    type        = {International Standard},
     keywords    = {ISO/IEC TS 19217:2015},
     contributer = {a3moss@uwaterloo.ca},
     key         = {{ISO/IEC} {TS} 19217},
+    author      = {Concepts},
     title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
     institution = {International Standard Organization},
@@ -2722 +2725 @@
 
 @online{GCCExtensions,
-    contributer = {a3moss@uwaterloo.ca},
-    key = {{GNU}},
-    title = {Extensions to the {C} Language Family},
-    year = 2014,
-    url = {https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html},
-    urldate = {2017-04-02}
+    contributer = {a3moss@uwaterloo.ca},
+    key         = {{GNU}},
+    author      = {{C Extensions}},
+    title       = {Extensions to the {C} Language Family},
+    year        = 2014,
+    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}},
+    urldate     = {2017-04-02}
 }
 
@@ -2823 +2827 @@
     key         = {Fortran95},
     title       = {Fortran 95 Standard, ISO/IEC 1539},
-    organization = {Unicomp, Inc.},
+    organization= {Unicomp, Inc.},
     address     = {7660 E. Broadway, Tucson, Arizona, U.S.A, 85710},
     month       = jan,
@@ -3060 +3064 @@
 
 @online{GObject,
-    keywords = {GObject},
-    contributor = {a3moss@uwaterloo.ca},
-    author = {{The GNOME Project}},
-    title = {{GObject} Reference Manual},
-    year = 2014,
-    url = {https://developer.gnome.org/gobject/stable/},
-    urldate = {2017-04-04}
+    keywords    = {GObject},
+    contributor = {a3moss@uwaterloo.ca},
+    author      = {{GObject}},
+    organization= {The GNOME Project},
+    title       = {{GObject} Reference Manual},
+    year        = 2014,
+    url         = {https://developer.gnome.org/gobject/stable/},
+    urldate     = {2017-04-04}
 }
 
@@ -3645 +3650 @@
     contributer = {pabuhr@plg},
     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
-    title       = {{Java} Language Specification},
+    title       = {{Java} Language Spec.},
+    organization= {Oracle},
     publisher   = {Oracle},
     year        = 2015,
@@ -4564 +4570 @@
 
 @manual{obj-c-book,
-    keywords = {objective-c},
-    contributor = {a3moss@uwaterloo.ca},
-    author = {{Apple Computer Inc.}},
-    title = {The {Objective-C} Programming Language},
-    publisher = {Apple Computer Inc.},
-    address = {Cupertino, CA},
-    year = 2003
+    keywords    = {objective-c},
+    contributor = {a3moss@uwaterloo.ca},
+    author      = {{Objective-C}},
+    title       = {The {Objective-C} Programming Language},
+    organization= {Apple Computer Inc.},
+    address     = {Cupertino, CA},
+    year        = 2003
 }
 
@@ -4576 +4582 @@
     keywords    = {objective-c},
     contributor = {a3moss@uwaterloo.ca},
-    author      = {{Apple Computer Inc.}},
+    author      = {{Xcode}},
     title       = {{Xcode} 7 Release Notes},
     year        = 2015,
@@ -4894 +4900 @@
     year        = 1980,
     month       = nov, volume = 15, number = 11, pages = {47-56},
-    note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming
-         Language}, 
+    note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language}, 
     comment     = {
         The two-pass (bottom-up, then top-down) algorithm, with a proof
@@ -5318 +5323 @@
     title       = {Programming with Sets: An Introduction to {SETL}},
     publisher   = {Springer},
+    address     = {New York, NY, USA},
     year        = 1986,
 }
@@ -5463 +5469 @@
     contributer = {pabuhr@plg},
     title       = {The Programming Language {Ada}: Reference Manual},
+    author      = {Ada},
     organization= {United States Department of Defense},
     edition     = {{ANSI/MIL-STD-1815A-1983}},
@@ -5880 +5887 @@
     keywords    = {Rust programming language},
     contributer = {pabuhr@plg},
+    author      = {{Rust}},
     title       = {The {Rust} Programming Language},
     organization= {The Rust Project Developers},
@@ -5891 +5899 @@
     keywords    = {Scala programming language},
     contributer = {pabuhr@plg},
+    author      = {{Scala}},
     title       = {{Scala} Language Specification, Version 2.11},
     organization= {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
@@ -6212 +6221 @@
 }
 
+@article{Smith98,
+  keywords = {Polymorphic C},
+  contributor = {a3moss@uwaterloo.ca},
+  title={A sound polymorphic type system for a dialect of C},
+  author={Smith, Geoffrey and Volpano, Dennis},
+  journal={Science of computer programming},
+  volume={32},
+  number={1-3},
+  pages={49--72},
+  year={1998},
+  publisher={Elsevier}
+}
+
 @book{Campbell74,
     keywords    = {path expressions},
@@ -6308 +6330 @@
     number      = 5,
     pages       = {341-346}
+}
+
+@online{Sutter15,
+    contributer = {pabuhr@plg},
+    author      = {Herb Sutter and Bjarne Stroustrup and Gabriel Dos Reis},
+    title       = {Structured bindings},
+    issue_date  = {2015-10-14},
+    month       = oct,
+    year        = 2015,
+    pages       = {1--6},
+    numpages    = {6},
+    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}},
 }
 
@@ -6750 +6784 @@
     number      = 6,
     month       = jun,
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
     year        = 1990,
     pages       = {127-136},
@@ -6902 +6938 @@
 
 @online{Vala,
-    keywords = {GObject, Vala},
-    contributor = {a3moss@uwaterloo.ca},
-    author = {{The GNOME Project}},
-    title = {Vala Reference Manual},
-    year = 2017,
-    url = {https://wiki.gnome.org/Projects/Vala/Manual},
-    urldate = {2017-04-04}
+    keywords    = {GObject, Vala},
+    contributor = {a3moss@uwaterloo.ca},
+    author      = {{Vala}},
+    organization= {The GNOME Project},
+    title       = {Vala Reference Manual},
+    year        = 2017,
+    url         = {https://wiki.gnome.org/Projects/Vala/Manual},
+    urldate     = {2017-04-04}
 }