Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r2f26b841 r3d70ca9  
    21552155    title       = {Continuations and Coroutines},
    21562156    booktitle   = {Conference Record of the 1984 {ACM} Symposium on Lisp and Functional Programming},
    2157     organization= {ACM},
     2157    organization= {Association for Computing Machinery},
    21582158    month       = aug,
    21592159    year        = 1984,
    … …  
    38553855}
    38563856
    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 
    38723857@article{doUpon,
    38733858    keywords    = {formal verification, axiomatic semantics, control structures},
    … …  
    38763861    title       = {A Generalized Iterative Construct and Its Semantics},
    38773862    journal     = toplas,
    3878     volume      = 9,
    3879     number      = 4,
     3863    volume      = {9},    number = {4},
    38803864    pages       = {567-581},
    3881     month       = oct,
    3882     year        = 1987,
     3865    month       = oct, year = 1987,
    38833866    comment     = {
    38843867        \begin{verbatim}
    … …  
    38953878            od
    38963879        \end{verbatim}
     3880
    38973881        If there is an i such that Qi is true, execute Mi and terminate.
    38983882        Otherwise, if there is an i such that Pi is true, execute Li and
    … …  
    42194203    year        = 1989,
    42204204    pages       = {60-76},
    4221     organization= {ACM}
     4205    organization= {Association for Computing Machinery}
    42224206}
    42234207
    … …  
    44024386    year        = 1990,
    44034387    pages       = {125-135},
    4404     organization= {ACM},
     4388    organization= {Association for Computing Machinery},
    44054389    abstract    = {
    44064390        In typed object-oriented languages the subtype relation is
    … …  
    51245108    title       = {MCSH, a Lock with the Standard Interface},
    51255109    issue_date  = {June 2023},
    5126     publisher   = {ACM},
     5110    publisher   = {Association for Computing Machinery},
    51275111    address     = {New York, NY, USA},
    51285112    volume      = 10,
    … …  
    62496233    journal     = sigplan,
    62506234    year        = 1980,
    6251     month       = nov,
    6252     volume      = 15,
    6253     number      = 11,
    6254     pages       = {47-56},
     6235    month       = nov, volume = 15, number = 11, pages = {47-56},
    62556236    note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language},
    62566237    comment     = {
    … …  
    66126593}
    66136594
    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 
    66296595@inproceedings{Rafkind09,
    66306596    keywords    = {accurate, C programming language, conservative, garbage collection, precise},
    … …  
    67166682    title       = {Procedures as Persistent Data Objects},
    67176683    journal     = toplas,
    6718     volume      = 7,
    6719     number      = 4,
     6684    volume      = {7},    number = {4},
    67206685    pages       = {539-559},
    6721     month       = oct,
    6722     year        = 1985,
     6686    month       = oct, year = 1985,
    67236687    comment     = {
    67246688        PS-Algol has ``structures'', accessible only through ``pntrs''.
    … …  
    67806744    title       = {Programming Dynamically Reconfigurable Open Systems with SALSA},
    67816745    issue_date  = {December 2001},
    6782     publisher   = {ACM},
     6746    publisher   = {Association for Computing Machinery},
    67836747    address     = {New York, NY, USA},
    67846748    volume      = 36,
    … …  
    71417105}
    71427106
    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 
    71527107@techreport{PS-Algol,
    71537108    keywords    = {algol, persistence},
    … …  
    71607115    month       = jun,
    71617116    year        = 1987,
     7117}
     7118
     7119@misc{protoactor,
     7120    contributer = {pabuhr@plg},
     7121    key         = {Protoactor},
     7122    author      = {{proto.actor}},
     7123    title       = {Asynkron AB},
     7124    year        = 2023,
     7125    howpublished= {\url{https://proto.actor}},
    71627126}
    71637127
    … …  
    85238487    year        = 1990,
    85248488    month       = jan, pages = {109-124},
    8525     organization= {ACM},
     8489    organization= {Association for Computing Machinery},
    85268490    abstract    = {
    85278491        This paper disucsses the phenomenon of {\em method specialization}
    … …  
    87848748    year        = {2020},
    87858749    issue_date  = {March 2020},
    8786     publisher   = {ACM},
     8750    publisher   = {Association for Computing Machinery},
    87878751    address     = {New York, NY, USA},
    87888752    volume      = {4},
    … …  
    90939057    editor      = {Norman Meyrowitz},
    90949058    publisher   = sigplan,
    9095     organization= {ACM},
     9059    organization= {Association for Computing Machinery},
    90969060    address     = {Portland, Oregon},
    90979061    month       = sep,
    … …  
    91059069    editor      = {Norman Meyrowitz},
    91069070    publisher   = sigplan,
    9107     organization= {ACM},
     9071    organization= {Association for Computing Machinery},
    91089072    address     = {Orlando, Florida},
    91099073    month       = oct,
    … …  
    91179081    editor      = {Norman Meyrowitz},
    91189082    publisher   = sigplan,
    9119     organization= {ACM},
     9083    organization= {Association for Computing Machinery},
    91209084    address     = {San Diego, California},
    91219085    month       = sep,
    … …  
    91299093    editor      = {Norman Meyrowitz},
    91309094    publisher   = sigplan,
    9131     organization= {ACM},
     9095    organization= {Association for Computing Machinery},
    91329096    address     = {New Orleans, Louisiana},
    91339097    month       = oct,
    … …  
    91419105    editor      = {Norman Meyrowitz},
    91429106    publisher   = sigplan,
    9143     organization= {ACM},
     9107    organization= {Association for Computing Machinery},
    91449108    address     = {Ottawa, Canada},
    91459109    month       = oct,
    … …  
    91539117    editor      = {Andreas Paepcke},
    91549118    publisher   = sigplan,
    9155     organization= {ACM},
     9119    organization= {Association for Computing Machinery},
    91569120    address     = {Phoenix, Arizona},
    91579121    month       = oct,
Note: See TracChangeset for help on using the changeset viewer.