Ignore:
Timestamp:
Feb 19, 2019, 3:31:37 PM (3 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, persistent-indexer
Children:
5170d95
Parents:
b43ea9e
Message:

start rewrite of concurrency paper for SPE

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    rb43ea9e r45af7e1  
    832832    howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    833833                  {http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}},
    834     optnote     = {Accessed: 2016-09},
    835834}
    836835
     
    843842    howpublished= {\href{https://www.boost.org/doc/libs/1_61_0/doc/html/thread.html}
    844843                  {https://\-www.boost.org/\-doc/\-libs/\-1\_61\_0/\-doc/\-html/\-thread.html}},
    845     optnote     = {Accessed: 2016-09},
    846844}
    847845
     
    950948    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    951949    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
    952     optnote     = {Accessed: 2018-01-01},
    953950}
    954951
     
    970967    year        = 2018,
    971968    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
    972     optnote     = {[Accessed May 2018]},
    973969}
    974970
     
    14701466    title       = {concurrent-locking},
    14711467    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
    1472     optnote     = {[Accessed April 2017]},
    14731468}
    14741469
     
    17581753    howpublished= {\href{https://www.airs.com/blog/archives/428}
    17591754                  {https://www.airs.com/\-blog/\-archives/\-428}},
    1760     optnote     = {Accessed: 2018-05},
    17611755}
    17621756
     
    29172911    year        = 2014,
    29182912    howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-4.7.2/\-gcc/\-C\-Extensions.html}},
    2919     optnote     = {Accessed: 2017-04-02},
    29202913}
    29212914
     
    33483341    year        = 2014,
    33493342    howpublished= {https://developer.gnome.org/gobject/stable/},
    3350     optnote     = {Accessed: 2017-04},
    33513343}
    33523344
     
    50265018    year        = 2014,
    50275019    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
    5028     optnote     = {Accessed: 2018-03}
    50295020}
    50305021
     
    50365027    year        = 2015,
    50375028    howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://\-developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
    5038     optnote     = {Accessed: 2017-04}
    50395029}
    50405030
     
    55495539    year        = 2012,
    55505540    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
    5551     optnote     = {Accessed: 2013-10-4}
    55525541}
    55535542
     
    60376026    institution = {Carnegie Mellon University},
    60386027    year        = 1991,
    6039     month       = feb, number = "CMU-CS-91-106",
     6028    month       = feb,
     6029    number      = {CMU-CS-91-106},
    60406030    annote      = {
    60416031        Discusses a typed lambda calculus with
     
    60946084    journal     = sigplan,
    60956085    year        = 1988,
    6096     month       = jul, volume = 23, number = 7, pages = {260-267},
    6097     note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language
    6098          Design and Implementation},
     6086    month       = jul,
     6087    volume      = 23,
     6088    number      = 7,
     6089    pages       = {260-267},
     6090    note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
    60996091    abstract    = {
    61006092        This paper deals with the integration of an efficient asynchronous
     
    61446136    month       = jun,
    61456137    year        = 1987,
     6138}
     6139
     6140@misc{Pthreads,
     6141    keywords    = {pthreads, C concurrency},
     6142    contributer = {pabuhr@plg},
     6143    key         = {pthreads},
     6144    title       = {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
     6145    author      = {IEEE and {The Open Group}},
     6146    year        = 2018,
     6147    howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
     6148                  {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
    61466149}
    61476150
     
    63276330    number      = 10,
    63286331    pages       = {27-32},
     6332}
     6333
     6334@article{Hesselink06,
     6335    author      = {Wim H. Hesselink},
     6336    title       = {Refinement Verification of the Lazy Caching Algorithm},
     6337    journal     = acta,
     6338    year        = 2006,
     6339    month       = oct,
     6340    volume      = 43,
     6341    number      = 3,
     6342    pages       = {195--222},
    63296343}
    63306344
     
    72657279    author      = {{TIOBE Index}},
    72667280    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    7267     optnote     = {Accessed: 2018-09},
     7281}
     7282
     7283@misc{ThreadModel,
     7284    contributer = {pabuhr@plg},
     7285    key         = {ThreadModel},
     7286    title       = {Thread (computing)},
     7287    author      = {{Threading Model}},
     7288    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
    72687289}
    72697290
     
    75977618    year        = 2017,
    75987619    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
    7599     optnote     = {Accessed: 2017-04}
    76007620}
    76017621
Note: See TracChangeset for help on using the changeset viewer.