Ignore:
Timestamp:
Aug 31, 2023, 11:31:15 PM (2 years ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
950c58e
Parents:
92355883 (diff), 686912c (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:

Resolve conflict

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r92355883 r2a301ff  
    230230    publisher   = {MIT Press, Cambridge},
    231231    year        = 1986
    232 }
    233 
    234 @inproceedings{Srinivasan08,
    235     author      = {Srinivasan, Sriram and Mycroft, Alan},
    236     editor      = {Vitek, Jan},
    237     title       = {Kilim: Isolation-Typed Actors for Java},
    238     organization= {ECOOP 2008 -- Object-Oriented Programming},
    239     year        = {2008},
    240     publisher   = {Springer Berlin Heidelberg},
    241     address     = {Berlin, Heidelberg},
    242     pages       = {104--128},
    243232}
    244233
    … …  
    303292}
    304293
    305 @manual{Ada12,
     294@manual{Ada16,
    306295    keywords    = {ISO/IEC Ada},
    307296    contributer = {pabuhr@plg},
    308     author      = {Ada12},
    309     title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
    310     edition     = {3rd},
    311     organization= {International Standard Organization},
    312     address     = {Geneva, Switzerland},
    313     year        = 2012,
    314     note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
     297    author      = {Ada16},
     298    title       = {Ada Reference Manual  ISO/IEC 8652:2012(E) with COR.1:2016},
     299    edition     = {3rd with Technical Corrigendum 1 for Ada 2012},
     300    organization= {AXE Consultants},
     301    address     = {Madison WI, USA},
     302    year        = 2016,
     303    note        = {\url{https://docs.adacore.com/live/wave/arm12/pdf/arm12/arm-12.pdf}},
    315304}
    316305
    … …  
    428417    optnote     = {\textsf{http://uwspace.uwaterloo.ca/\-bitstream/10012/\-5751\-/1/Krischer\_Roy.pdf}},
    429418    note        = {\href{http://uwspace.uwaterloo.ca/bitstream/10012/5751/1/Krischer_Roy.pdf}{http://uwspace.uwaterloo.ca/\-bitstream/10012/\-5751\-/1/Krischer\_Roy.pdf}},
     419}
     420
     421@article{Delisle21,
     422    keywords    = {concurrency, Cforall},
     423    contributer = {pabuhr@plg},
     424    author      = {Thierry Delisle and Peter A. Buhr},
     425    title       = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$},
     426    journal     = spe,
     427    month       = may,
     428    year        = 2021,
     429    volume      = 51,
     430    number      = 5,
     431    pages       = {1005-1042},
     432    optnote     = {\href{https://onlinelibrary.wiley.com/doi/10.1002/spe.2925}{https://\-onlinelibrary.wiley.com/\-doi/\-10.1002/\-spe.2925}},
    430433}
    431434
    … …  
    12261229}
    12271230
     1231@phdthesis{Delisle22,
     1232    contributer = {pabuhr@plg},
     1233    author      = {Delisle, Thierry},
     1234    title       = {The \textsf{C}$\mathbf{\forall}$ Scheduler},
     1235    school      = {School of Computer Science, University of Waterloo},
     1236    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1237    publisher   = {UWSpace},
     1238    year        = 2022,
     1239    note        = {\url{http://hdl.handle.net/10012/18941}}
     1240}
     1241
    12281242@misc{CFAStackEvaluation,
    12291243    contributer = {a3moss@plg},
    … …  
    16431657    volume      = 21,
    16441658    number      = 8,
    1645     pages       = {666-677}
     1659    pages       = {666-677},
     1660    publisher   = {ACM New York, NY, USA},
    16461661}
    16471662
    … …  
    19882003    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    19892004    school      = {School of Computer Science, University of Waterloo},
     2005    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     2006    publisher   = {UWSpace},
    19902007    year        = 2018,
    1991     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    1992     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
    1993 }
    1994 
    1995 @article{Delisle21,
    1996     keywords    = {concurrency, Cforall},
    1997     contributer = {pabuhr@plg},
    1998     author      = {Thierry Delisle and Peter A. Buhr},
    1999     title       = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$},
    2000     journal     = spe,
    2001     month       = may,
    2002     year        = 2021,
    2003     volume      = 51,
    2004     number      = 5,
    2005     pages       = {1005-1042},
    2006     optnote     = {\href{https://onlinelibrary.wiley.com/doi/10.1002/spe.2925}{https://\-onlinelibrary.wiley.com/\-doi/\-10.1002/\-spe.2925}},
     2008    note        = {\url{http://hdl.handle.net/10012/12888}},
    20072009}
    20082010
    … …  
    21532155    title       = {Continuations and Coroutines},
    21542156    booktitle   = {Conference Record of the 1984 {ACM} Symposium on Lisp and Functional Programming},
    2155     organization= {Association for Computing Machinery},
     2157    organization= {ACM},
    21562158    month       = aug,
    21572159    year        = 1984,
    … …  
    33453347}
    33463348
     3349@mastersthesis{Beach21,
     3350    contributer = {pabuhr@plg},
     3351    author      = {Beach, Andrew James},
     3352    title       = {Exception Handling in \textsf{C}$\mathbf{\forall}$},
     3353    school      = {School of Computer Science, University of Waterloo},
     3354    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     3355    publisher   = {UWSpace},
     3356    year        = {2021},
     3357    note        = {\url{http://hdl.handle.net/10012/17617}},
     3358}
     3359
    33473360@article{Liskov79,
    33483361    keywords    = {exception handling},
    … …  
    38423855}
    38433856
     3857@inproceedings{Brown14,
     3858    keywords    = {non-blocking, relaxed balance, balanced binary search tree, chromatic tree, red-black tree},
     3859    contributer = {pabuhr@plg},
     3860    author      = {Trevor Brown and Faith Ellen and Eric Ruppert},
     3861    title       = {A General Technique for Non-Blocking Trees},
     3862    year        = {2014},
     3863    publisher   = {ACM},
     3864    address     = {New York, NY, USA},
     3865    booktitle   = {Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
     3866    pages       = {329-342},
     3867    numpages    = {14},
     3868    location    = {Orlando, Florida, USA},
     3869    series      = {PPoPP '14}
     3870}
     3871
    38443872@article{doUpon,
    38453873    keywords    = {formal verification, axiomatic semantics, control structures},
    … …  
    38483876    title       = {A Generalized Iterative Construct and Its Semantics},
    38493877    journal     = toplas,
    3850     volume      = {9},    number = {4},
     3878    volume      = 9,
     3879    number      = 4,
    38513880    pages       = {567-581},
    3852     month       = oct, year = 1987,
     3881    month       = oct,
     3882    year        = 1987,
    38533883    comment     = {
    38543884        \begin{verbatim}
    … …  
    38653895            od
    38663896        \end{verbatim}
    3867 
    38683897        If there is an i such that Qi is true, execute Mi and terminate.
    38693898        Otherwise, if there is an i such that Pi is true, execute Li and
    … …  
    40764105    year        = 2022,
    40774106    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    4078     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/18329}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/18329}},
     4107    note        = {\url{http://hdl.handle.net/10012/18329}},
    40794108}
    40804109
    … …  
    41904219    year        = 1989,
    41914220    pages       = {60-76},
    4192     organization= {Association for Computing Machinery}
     4221    organization= {ACM}
    41934222}
    41944223
    … …  
    43284357    month       = sep,
    43294358    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    4330     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
     4359    note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/13935}},
    43314360}
    43324361
    … …  
    43734402    year        = 1990,
    43744403    pages       = {125-135},
    4375     organization= {Association for Computing Machinery},
     4404    organization= {ACM},
    43764405    abstract    = {
    43774406        In typed object-oriented languages the subtype relation is
    … …  
    47254754    year        = 1996,
    47264755    pages       = {80-87},
     4756}
     4757
     4758@inproceedings{Srinivasan08,
     4759    author      = {Srinivasan, Sriram and Mycroft, Alan},
     4760    editor      = {Vitek, Jan},
     4761    title       = {Kilim: Isolation-Typed Actors for Java},
     4762    organization= {ECOOP 2008 -- Object-Oriented Programming},
     4763    year        = {2008},
     4764    publisher   = {Springer Berlin Heidelberg},
     4765    address     = {Berlin, Heidelberg},
     4766    pages       = {104--128},
    47274767}
    47284768
    … …  
    50785118}
    50795119
     5120@article{Hesselink23,
     5121    keywords    = {Concurrency, mutual exclusion, atomicity, critical section, efficiency},
     5122    contributer = {pabuhr@plg},
     5123    author      = {Hesselink, Wim H. and Buhr, Peter A.},
     5124    title       = {MCSH, a Lock with the Standard Interface},
     5125    issue_date  = {June 2023},
     5126    publisher   = {ACM},
     5127    address     = {New York, NY, USA},
     5128    volume      = 10,
     5129    number      = 2,
     5130    journal     = {ACM Trans. Parallel Comput.},
     5131    issn        = {2329-4949},
     5132    url         = {https://doi.org/10.1145/3584696},
     5133    doi         = {10.1145/3584696},
     5134    articleno   = 11,
     5135    numpages    = 23,
     5136    month       = jun,
     5137    year        = {2023},
     5138}
     5139
    50805140@inproceedings{mprof,
    50815141    keywords    = {malloc},
    … …  
    61896249    journal     = sigplan,
    61906250    year        = 1980,
    6191     month       = nov, volume = 15, number = 11, pages = {47-56},
     6251    month       = nov,
     6252    volume      = 15,
     6253    number      = 11,
     6254    pages       = {47-56},
    61926255    note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language},
    61936256    comment     = {
    … …  
    65496612}
    65506613
     6614@inproceedings{Brown13,
     6615    keywords    = {multiset, non-blocking, load-link/store-conditional},
     6616    contributer = {pabuhr@plg},
     6617    author      = {Trevor Brown and Faith Ellen and Eric Ruppert},
     6618    title       = {Pragmatic Primitives for Non-Blocking Data Structures},
     6619    year        = 2013,
     6620    publisher   = {ACM},
     6621    address     = {New York, NY, USA},
     6622    booktitle   = {Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing},
     6623    pages       = {13-22},
     6624    numpages    = {10},
     6625    location    = {Montr\'{e}al, Qu\'{e}bec, Canada},
     6626    series      = {PODC '13}
     6627}
     6628
    65516629@inproceedings{Rafkind09,
    65526630    keywords    = {accurate, C programming language, conservative, garbage collection, precise},
    … …  
    66386716    title       = {Procedures as Persistent Data Objects},
    66396717    journal     = toplas,
    6640     volume      = {7},    number = {4},
     6718    volume      = 7,
     6719    number      = 4,
    66416720    pages       = {539-559},
    6642     month       = oct, year = 1985,
     6721    month       = oct,
     6722    year        = 1985,
    66436723    comment     = {
    66446724        PS-Algol has ``structures'', accessible only through ``pntrs''.
    … …  
    67006780    title       = {Programming Dynamically Reconfigurable Open Systems with SALSA},
    67016781    issue_date  = {December 2001},
    6702     publisher   = {Association for Computing Machinery},
     6782    publisher   = {ACM},
    67036783    address     = {New York, NY, USA},
    67046784    volume      = 36,
    … …  
    70617141}
    70627142
     7143@misc{protoactor,
     7144    contributer = {pabuhr@plg},
     7145    key         = {Protoactor},
     7146    author      = {{proto.actor}},
     7147    title       = {Asynkron AB},
     7148    year        = 2023,
     7149    howpublished= {\url{https://proto.actor}},
     7150}
     7151
    70637152@techreport{PS-Algol,
    70647153    keywords    = {algol, persistence},
    … …  
    70717160    month       = jun,
    70727161    year        = 1987,
    7073 }
    7074 
    7075 @misc{protoactor,
    7076     contributer = {pabuhr@plg},
    7077     key         = {Protoactor},
    7078     author      = {{proto.actor}},
    7079     title       = {Asynkron AB},
    7080     year        = 2023,
    7081     howpublished= {\url{https://proto.actor}},
    70827162}
    70837163
    … …  
    84438523    year        = 1990,
    84448524    month       = jan, pages = {109-124},
    8445     organization= {Association for Computing Machinery},
     8525    organization= {ACM},
    84468526    abstract    = {
    84478527        This paper disucsses the phenomenon of {\em method specialization}
    … …  
    87048784    year        = {2020},
    87058785    issue_date  = {March 2020},
    8706     publisher   = {Association for Computing Machinery},
     8786    publisher   = {ACM},
    87078787    address     = {New York, NY, USA},
    87088788    volume      = {4},
    … …  
    90139093    editor      = {Norman Meyrowitz},
    90149094    publisher   = sigplan,
    9015     organization= {Association for Computing Machinery},
     9095    organization= {ACM},
    90169096    address     = {Portland, Oregon},
    90179097    month       = sep,
    … …  
    90259105    editor      = {Norman Meyrowitz},
    90269106    publisher   = sigplan,
    9027     organization= {Association for Computing Machinery},
     9107    organization= {ACM},
    90289108    address     = {Orlando, Florida},
    90299109    month       = oct,
    … …  
    90379117    editor      = {Norman Meyrowitz},
    90389118    publisher   = sigplan,
    9039     organization= {Association for Computing Machinery},
     9119    organization= {ACM},
    90409120    address     = {San Diego, California},
    90419121    month       = sep,
    … …  
    90499129    editor      = {Norman Meyrowitz},
    90509130    publisher   = sigplan,
    9051     organization= {Association for Computing Machinery},
     9131    organization= {ACM},
    90529132    address     = {New Orleans, Louisiana},
    90539133    month       = oct,
    … …  
    90619141    editor      = {Norman Meyrowitz},
    90629142    publisher   = sigplan,
    9063     organization= {Association for Computing Machinery},
     9143    organization= {ACM},
    90649144    address     = {Ottawa, Canada},
    90659145    month       = oct,
    … …  
    90739153    editor      = {Andreas Paepcke},
    90749154    publisher   = sigplan,
    9075     organization= {Association for Computing Machinery},
     9155    organization= {ACM},
    90769156    address     = {Phoenix, Arizona},
    90779157    month       = oct,
Note: See TracChangeset for help on using the changeset viewer.