Changeset 72d1118 for doc/bibliography


Ignore:
Timestamp:
Sep 20, 2022, 2:42:15 PM (20 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, master, pthread-emulation
Children:
8f1e035
Parents:
aa9f215
Message:

Finished final read

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    raa9f215 r72d1118  
    188188        Unstructured {\it sends\/} and {\it accepts\/} are forbidden.  To
    189189        this the mechanisms of {\it delegation\/} and {\it delay queues\/}
    190         are added to enable switching and triggering of activities. 
    191         Concurrent subactivities and atomic actions are provided for 
     190        are added to enable switching and triggering of activities.
     191        Concurrent subactivities and atomic actions are provided for
    192192        compactness and simplicity.  We show how solutions to many important
    193193        concurrent problems [sic], such as pipelining, constraint management
    194         and ``administration'' can be compactly expressed using these 
     194        and ``administration'' can be compactly expressed using these
    195195        mechanisms.
    196196   },
     
    529529        like ``c is a collection with element type e'', but how such things
    530530        are used isn't explained.
    531        
     531
    532532        For each descriptive class used in a parameter list, an implicit
    533533        parameter is created that is passed a vector of procedures.
     
    11721172@techreport{Prokopec11,
    11731173    keywords    = {ctrie, concurrent map},
    1174     contributer = {a3moss@uwaterloo.ca}, 
     1174    contributer = {a3moss@uwaterloo.ca},
    11751175    title       = {Cache-aware lock-free concurrent hash tries},
    11761176    author      = {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
     
    15001500    year        = 2001,
    15011501    url         = {http://citeseer.ist.psu.edu/berger01composing.html}
    1502 } 
     1502}
    15031503
    15041504@article{Andrews83,
     
    15451545        We give a rationale for our decisions and compare Concurrent C
    15461546        extensions with the concurrent programming facilities in Ada.
    1547         Concurrent C has been implemented on the UNIX system running on a 
     1547        Concurrent C has been implemented on the UNIX system running on a
    15481548        single processor.  A distributed version of Concurrent C is being
    15491549        implemented.
     
    18141814    keywords    = {objects, concurrency},
    18151815    contributer = {gjditchfield@plg},
    1816     author      = {P. A. Buhr and G. J. Ditchfield and B. M. Younger and C. R. Zarnke}, 
     1816    author      = {P. A. Buhr and G. J. Ditchfield and B. M. Younger and C. R. Zarnke},
    18171817    title       = {Concurrency in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    18181818    institution = {Department of Computer Science, University of Waterloo},
     
    20442044    series      = {Lecture Notes in Computer Science, Ed. by G. Goos and J. Hartmanis}
    20452045}
    2046  
     2046
    20472047@article{Wang71,
    20482048    keywords    = {coroutines},
     
    20562056    pages       = {425-449},
    20572057}
    2058  
     2058
    20592059@article{Castagna95,
    20602060    keywords    = {type-systems, covariance, contravariance},
     
    23902390    year        = 1996,
    23912391}
    2392  
     2392
    23932393@article{Richardson93,
    23942394    keywords    = {C++, persistence, database},
     
    24732473    publisher   = {ACM},
    24742474    address     = {New York, NY, USA},
    2475 } 
     2475}
    24762476
    24772477@article{design,
     
    27002700    publisher   = {ACM},
    27012701    address     = {New York, NY, USA},
    2702 } 
     2702}
    27032703
    27042704@book{Eiffel,
     
    33573357    publisher   = {ACM},
    33583358    address     = {New York, NY, USA},
    3359 } 
     3359}
    33603360
    33613361@manual{Fortran95,
     
    37403740    keywords    = {processes, distributed computing},
    37413741    contributer = {pabuhr@plg},
    3742     author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 
     3742    author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
    37433743    title       = {Hermes: A Language for Distributed Computing},
    37443744    institution = {IBM T. J. Watson Research Center},
     
    37513751    keywords    = {processes, distributed computing},
    37523752    contributer = {pabuhr@plg},
    3753     author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 
     3753    author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
    37543754    title       = {Hermes: A Language for Distributed Computing},
    37553755    publisher   = {Prentice-Hall},
     
    43024302    pages       = {85-103}
    43034303}
    4304    
     4304
    43054305@article{Murer96,
    43064306    keywords    = {interators, generators, cursors},
     
    43304330
    43314331% J
    4332                  
     4332
    43334333@book{Java,
    43344334    keywords    = {Java},
     
    46274627    publisher   = {ACM},
    46284628    address     = {New York, NY, USA},
    4629 } 
     4629}
    46304630
    46314631@article{Dice15,
     
    49784978    number      = 31
    49794979}
    4980  
     4980
    49814981@article{Dueck90,
    49824982    keywords    = {attribute grammars},
     
    51075107    keywords    = {multiple inheritance},
    51085108    contributer = {pabuhr@plg},
    5109     author      = {Harry Bretthauer and Thomas Christaller and J\"{u}rgen Kopp}, 
     5109    author      = {Harry Bretthauer and Thomas Christaller and J\"{u}rgen Kopp},
    51105110    title       = {Multiple vs. Single Inheritance in Object-oriented Programming Languages. What do we really want?},
    51115111    institution = {Gesellschaft F\"{u}r Mathematik und Datenverarbeitung mbH},
     
    56505650    publisher   = {ACM},
    56515651    address     = {New York, NY, USA},
    5652 } 
     5652}
    56535653
    56545654@book{Deitel04,
     
    58275827    year        = 1980,
    58285828    month       = nov, volume = 15, number = 11, pages = {47-56},
    5829     note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language}, 
     5829    note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language},
    58305830    comment     = {
    58315831        The two-pass (bottom-up, then top-down) algorithm, with a proof
     
    59575957        Given a base typed lambda calculus with function types, type
    59585958        abstractions, and a recursive expression \(\mbox{fix } x:t.e\),
    5959         then type inference for the partially typed language 
     5959        then type inference for the partially typed language
    59605960        \begin{eqnarray}
    59615961        \lambda x:\tau.e        &\Rightarrow& \lambda x.e       \\
     
    66036603        manner.  The paper also discusses efficient composition of
    66046604        sequences of asynchronous calls to different locations in a
    6605         network. 
     6605        network.
    66066606    }
    66076607}
     
    66166616    volume      = 32, number = 4, pages = {305-311},
    66176617    abstract    = {
    6618        
     6618
    66196619    }
    66206620}
     
    69346934        partitioning switch statements into dense tables.  It also
    69356935        implements target-independent function tracing and expression-level
    6936         profiling. 
     6936        profiling.
    69376937    }
    69386938}
     
    71507150    publisher   = {ACM},
    71517151    address     = {New York, NY, USA},
    7152 } 
     7152}
    71537153
    71547154@inproceedings{Leissa14,
     
    72687268    keywords    = {Smalltalk, abstract class, protocol},
    72697269    contributer = {gjditchfield@plg},
    7270     author      = {A. Goldberg and D. Robson}, 
     7270    author      = {A. Goldberg and D. Robson},
    72717271    title       = {Smalltalk-80: The Language and its Implementation},
    72727272    publisher   = {Addison-Wesley},
     
    78457845    title       = {Thread (computing)},
    78467846    author      = {{Threading Model}},
    7847     howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
     7847    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_\-(computing)}},
    78487848}
    78497849
     
    78897889    note        = {Lecture Notes in Computer Science, v. 19},
    78907890    abstract    = {
    7891        
     7891
    78927892    }
    78937893}
     
    80088008    publisher   = {USENIX Association},
    80098009    address     = {Berkeley, CA, USA},
    8010 } 
     8010}
    80118011
    80128012@article{Leroy00,
     
    83548354    author      = {Bjarne Stroustrup},
    83558355    title       = {What is ``Object-Oriented Programming''?},
    8356     booktitle   = {Proceedings of the First European Conference on Object Oriented Programming}, 
     8356    booktitle   = {Proceedings of the First European Conference on Object Oriented Programming},
    83578357    month       = jun,
    83588358    year        = 1987
     
    83968396    publisher   = {ACM},
    83978397    address     = {New York, NY, USA},
    8398 } 
     8398}
    83998399
    84008400% X
Note: See TracChangeset for help on using the changeset viewer.