Changeset 2f26b841 for doc/bibliography/pl.bib

Timestamp:

Jul 10, 2023, 11:11:11 AM (12 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

9b0c1936

Parents:

a9e10e2

Message:

add and update citations

File:

• doc/bibliography/pl.bib (modified) (21 diffs)

doc/bibliography/pl.bib

@@ -2155 +2155 @@
     title       = {Continuations and Coroutines},
     booktitle   = {Conference Record of the 1984 {ACM} Symposium on Lisp and Functional Programming},
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     month       = aug,
     year        = 1984,
@@ -3855 +3855 @@
 }
 
+@inproceedings{Brown14,
+    keywords    = {non-blocking, relaxed balance, balanced binary search tree, chromatic tree, red-black tree},
+    contributer = {pabuhr@plg},
+    author      = {Trevor Brown and Faith Ellen and Eric Ruppert},
+    title       = {A General Technique for Non-Blocking Trees},
+    year        = {2014},
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
+    booktitle   = {Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
+    pages       = {329-342},
+    numpages    = {14},
+    location    = {Orlando, Florida, USA},
+    series      = {PPoPP '14}
+}
+
 @article{doUpon,
     keywords    = {formal verification, axiomatic semantics, control structures},
@@ -3861 +3876 @@
     title       = {A Generalized Iterative Construct and Its Semantics},
     journal     = toplas,
-    volume      = {9},    number = {4},
+    volume      = 9,
+    number      = 4,
     pages       = {567-581},
-    month       = oct, year = 1987,
+    month       = oct,
+    year        = 1987,
     comment     = {
         \begin{verbatim}
@@ -3878 +3895 @@
             od
         \end{verbatim}
-
         If there is an i such that Qi is true, execute Mi and terminate.
         Otherwise, if there is an i such that Pi is true, execute Li and
@@ -4203 +4219 @@
     year        = 1989,
     pages       = {60-76},
-    organization= {Association for Computing Machinery}
+    organization= {ACM}
 }
 
@@ -4386 +4402 @@
     year        = 1990,
     pages       = {125-135},
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     abstract    = {
         In typed object-oriented languages the subtype relation is
@@ -5108 +5124 @@
     title       = {MCSH, a Lock with the Standard Interface},
     issue_date  = {June 2023},
-    publisher   = {Association for Computing Machinery},
+    publisher   = {ACM},
     address     = {New York, NY, USA},
     volume      = 10,
@@ -6233 +6249 @@
     journal     = sigplan,
     year        = 1980,
-    month       = nov, volume = 15, number = 11, pages = {47-56},
+    month       = nov,
+    volume      = 15,
+    number      = 11,
+    pages       = {47-56},
     note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language},
     comment     = {
@@ -6593 +6612 @@
 }
 
+@inproceedings{Brown13,
+    keywords    = {multiset, non-blocking, load-link/store-conditional},
+    contributer = {pabuhr@plg},
+    author      = {Trevor Brown and Faith Ellen and Eric Ruppert},
+    title       = {Pragmatic Primitives for Non-Blocking Data Structures},
+    year        = 2013,
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
+    booktitle   = {Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing},
+    pages       = {13-22},
+    numpages    = {10},
+    location    = {Montr\'{e}al, Qu\'{e}bec, Canada},
+    series      = {PODC '13}
+}
+
 @inproceedings{Rafkind09,
     keywords    = {accurate, C programming language, conservative, garbage collection, precise},
@@ -6682 +6716 @@
     title       = {Procedures as Persistent Data Objects},
     journal     = toplas,
-    volume      = {7},    number = {4},
+    volume      = 7,
+    number      = 4,
     pages       = {539-559},
-    month       = oct, year = 1985,
+    month       = oct,
+    year        = 1985,
     comment     = {
         PS-Algol has ``structures'', accessible only through ``pntrs''.
@@ -6744 +6780 @@
     title       = {Programming Dynamically Reconfigurable Open Systems with SALSA},
     issue_date  = {December 2001},
-    publisher   = {Association for Computing Machinery},
+    publisher   = {ACM},
     address     = {New York, NY, USA},
     volume      = 36,
@@ -7105 +7141 @@
 }
 
+@misc{protoactor,
+    contributer = {pabuhr@plg},
+    key         = {Protoactor},
+    author      = {{proto.actor}},
+    title       = {Asynkron AB},
+    year        = 2023,
+    howpublished= {\url{https://proto.actor}},
+}
+
 @techreport{PS-Algol,
     keywords    = {algol, persistence},
@@ -7115 +7160 @@
     month       = jun,
     year        = 1987,
-}
-
-@misc{protoactor,
-    contributer = {pabuhr@plg},
-    key         = {Protoactor},
-    author      = {{proto.actor}},
-    title       = {Asynkron AB},
-    year        = 2023,
-    howpublished= {\url{https://proto.actor}},
 }
 
@@ -8487 +8523 @@
     year        = 1990,
     month       = jan, pages = {109-124},
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     abstract    = {
         This paper disucsses the phenomenon of {\em method specialization}
@@ -8748 +8784 @@
     year        = {2020},
     issue_date  = {March 2020},
-    publisher   = {Association for Computing Machinery},
+    publisher   = {ACM},
     address     = {New York, NY, USA},
     volume      = {4},
@@ -9057 +9093 @@
     editor      = {Norman Meyrowitz},
     publisher   = sigplan,
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     address     = {Portland, Oregon},
     month       = sep,
@@ -9069 +9105 @@
     editor      = {Norman Meyrowitz},
     publisher   = sigplan,
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     address     = {Orlando, Florida},
     month       = oct,
@@ -9081 +9117 @@
     editor      = {Norman Meyrowitz},
     publisher   = sigplan,
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     address     = {San Diego, California},
     month       = sep,
@@ -9093 +9129 @@
     editor      = {Norman Meyrowitz},
     publisher   = sigplan,
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     address     = {New Orleans, Louisiana},
     month       = oct,
@@ -9105 +9141 @@
     editor      = {Norman Meyrowitz},
     publisher   = sigplan,
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     address     = {Ottawa, Canada},
     month       = oct,
@@ -9117 +9153 @@
     editor      = {Andreas Paepcke},
     publisher   = sigplan,
-    organization= {Association for Computing Machinery},
+    organization= {ACM},
     address     = {Phoenix, Arizona},
     month       = oct,