Changeset 2f26b841
- Timestamp:
- Jul 10, 2023, 11:11:11 AM (19 months ago)
- Branches:
- master
- Children:
- 9b0c1936
- Parents:
- a9e10e2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
ra9e10e2 r2f26b841 2155 2155 title = {Continuations and Coroutines}, 2156 2156 booktitle = {Conference Record of the 1984 {ACM} Symposium on Lisp and Functional Programming}, 2157 organization= {A ssociation for Computing Machinery},2157 organization= {ACM}, 2158 2158 month = aug, 2159 2159 year = 1984, … … 3855 3855 } 3856 3856 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 3857 3872 @article{doUpon, 3858 3873 keywords = {formal verification, axiomatic semantics, control structures}, … … 3861 3876 title = {A Generalized Iterative Construct and Its Semantics}, 3862 3877 journal = toplas, 3863 volume = {9}, number = {4}, 3878 volume = 9, 3879 number = 4, 3864 3880 pages = {567-581}, 3865 month = oct, year = 1987, 3881 month = oct, 3882 year = 1987, 3866 3883 comment = { 3867 3884 \begin{verbatim} … … 3878 3895 od 3879 3896 \end{verbatim} 3880 3881 3897 If there is an i such that Qi is true, execute Mi and terminate. 3882 3898 Otherwise, if there is an i such that Pi is true, execute Li and … … 4203 4219 year = 1989, 4204 4220 pages = {60-76}, 4205 organization= {A ssociation for Computing Machinery}4221 organization= {ACM} 4206 4222 } 4207 4223 … … 4386 4402 year = 1990, 4387 4403 pages = {125-135}, 4388 organization= {A ssociation for Computing Machinery},4404 organization= {ACM}, 4389 4405 abstract = { 4390 4406 In typed object-oriented languages the subtype relation is … … 5108 5124 title = {MCSH, a Lock with the Standard Interface}, 5109 5125 issue_date = {June 2023}, 5110 publisher = {A ssociation for Computing Machinery},5126 publisher = {ACM}, 5111 5127 address = {New York, NY, USA}, 5112 5128 volume = 10, … … 6233 6249 journal = sigplan, 6234 6250 year = 1980, 6235 month = nov, volume = 15, number = 11, pages = {47-56}, 6251 month = nov, 6252 volume = 15, 6253 number = 11, 6254 pages = {47-56}, 6236 6255 note = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language}, 6237 6256 comment = { … … 6593 6612 } 6594 6613 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 6595 6629 @inproceedings{Rafkind09, 6596 6630 keywords = {accurate, C programming language, conservative, garbage collection, precise}, … … 6682 6716 title = {Procedures as Persistent Data Objects}, 6683 6717 journal = toplas, 6684 volume = {7}, number = {4}, 6718 volume = 7, 6719 number = 4, 6685 6720 pages = {539-559}, 6686 month = oct, year = 1985, 6721 month = oct, 6722 year = 1985, 6687 6723 comment = { 6688 6724 PS-Algol has ``structures'', accessible only through ``pntrs''. … … 6744 6780 title = {Programming Dynamically Reconfigurable Open Systems with SALSA}, 6745 6781 issue_date = {December 2001}, 6746 publisher = {A ssociation for Computing Machinery},6782 publisher = {ACM}, 6747 6783 address = {New York, NY, USA}, 6748 6784 volume = 36, … … 7105 7141 } 7106 7142 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 7107 7152 @techreport{PS-Algol, 7108 7153 keywords = {algol, persistence}, … … 7115 7160 month = jun, 7116 7161 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}},7126 7162 } 7127 7163 … … 8487 8523 year = 1990, 8488 8524 month = jan, pages = {109-124}, 8489 organization= {A ssociation for Computing Machinery},8525 organization= {ACM}, 8490 8526 abstract = { 8491 8527 This paper disucsses the phenomenon of {\em method specialization} … … 8748 8784 year = {2020}, 8749 8785 issue_date = {March 2020}, 8750 publisher = {A ssociation for Computing Machinery},8786 publisher = {ACM}, 8751 8787 address = {New York, NY, USA}, 8752 8788 volume = {4}, … … 9057 9093 editor = {Norman Meyrowitz}, 9058 9094 publisher = sigplan, 9059 organization= {A ssociation for Computing Machinery},9095 organization= {ACM}, 9060 9096 address = {Portland, Oregon}, 9061 9097 month = sep, … … 9069 9105 editor = {Norman Meyrowitz}, 9070 9106 publisher = sigplan, 9071 organization= {A ssociation for Computing Machinery},9107 organization= {ACM}, 9072 9108 address = {Orlando, Florida}, 9073 9109 month = oct, … … 9081 9117 editor = {Norman Meyrowitz}, 9082 9118 publisher = sigplan, 9083 organization= {A ssociation for Computing Machinery},9119 organization= {ACM}, 9084 9120 address = {San Diego, California}, 9085 9121 month = sep, … … 9093 9129 editor = {Norman Meyrowitz}, 9094 9130 publisher = sigplan, 9095 organization= {A ssociation for Computing Machinery},9131 organization= {ACM}, 9096 9132 address = {New Orleans, Louisiana}, 9097 9133 month = oct, … … 9105 9141 editor = {Norman Meyrowitz}, 9106 9142 publisher = sigplan, 9107 organization= {A ssociation for Computing Machinery},9143 organization= {ACM}, 9108 9144 address = {Ottawa, Canada}, 9109 9145 month = oct, … … 9117 9153 editor = {Andreas Paepcke}, 9118 9154 publisher = sigplan, 9119 organization= {A ssociation for Computing Machinery},9155 organization= {ACM}, 9120 9156 address = {Phoenix, Arizona}, 9121 9157 month = oct,
Note: See TracChangeset
for help on using the changeset viewer.