Changeset 7527e63 for doc/bibliography

Timestamp:

Aug 16, 2016, 3:20:06 PM (9 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, stuck-waitfor-destruct, with_gc

Children:

1f6d4624

Parents:

950f7a7 (diff), 7880579 (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) (4 diffs)

doc/bibliography/cfa.bib

@@ -832 +832 @@
     address     = {http://www.iso.org},
     year        = 2012,
+}
+
+@manual{C++Concepts,
+        keywords = {ISO/IEC TS 19217:2015},
+        contributer = {a3moss@uwaterloo.ca},
+        key = {C++ Concepts},
+        title = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
+        organization = {International Standard ISO/IEC TS 19217:2015},
+        publisher = {International Standard Organization},
+        address = {http://www.iso.org},
+        year = 2015
 }
 
@@ -1623 +1634 @@
     year        = 1974,
 }
+
+@unpublished{Ditchfield:conversions,
+        contributer = {a3moss@uwaterloo.ca},
+        author = {Glen Ditchfield},
+        title = {Conversions for {Cforall}},
+        note = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
+        month = {Nov},
+        year = {2002},
+        urldate = {28 July 2016},
+}
+
 
 @techreport{Dijkstra65,
@@ -4663 +4685 @@
 }
 
+@article{Ganzinger80,
+        contributer = {a3moss@uwaterloo.ca},
+        author = {Ganzinger, Harald and Ripken, Knut},
+        title = {Operator Identification in {ADA}: Formal Specification, Complexity, and Concrete Implementation},
+        journal = {SIGPLAN Notices},
+        issue_date = {February 1980},
+        volume = {15},
+        number = {2},
+        month = feb,
+        year = {1980},
+        issn = {0362-1340},
+        pages = {30--42},
+        numpages = {13},
+        url = {http://doi.acm.org/10.1145/947586.947589},
+        doi = {10.1145/947586.947589},
+        publisher = {ACM},
+        address = {New York, NY, USA}
+}
+
 @article{Ford82,
     keywords    = {},
@@ -5829 +5870 @@
 }
 
+@article{Pennello80,
+        contributer = {a3moss@uwaterloo.ca},
+        author = {Pennello, Tom and DeRemer, Frank and Meyers, Richard},
+        title = {A Simplified Operator Identification Scheme for {Ada}},
+        journal = {SIGPLAN Notices},
+        issue_date = {July-August 1980},
+        volume = {15},
+        number = {7 and 8},
+        month = jul,
+        year = {1980},
+        issn = {0362-1340},
+        pages = {82--87},
+        numpages = {6},
+        url = {http://doi.acm.org/10.1145/947680.947688},
+        doi = {10.1145/947680.947688},
+        publisher = {ACM},
+        address = {New York, NY, USA},
+}
+
 @inproceedings{Dice10,
     keywords    = {hardware, synchronization, transactional memory},