Changeset 1f9a4d0 for doc/bibliography


Ignore:
Timestamp:
Nov 27, 2020, 9:08:17 AM (4 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
4432b52
Parents:
22b5b87
Message:

changes for SP&E proofs of concurrency paper

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r22b5b87 r1f9a4d0  
    961961    title       = {C Programming Language {ISO/IEC} 9899:1999(E)},
    962962    edition     = {2nd},
    963     publisher   = {International Standard Organization},
    964     address     = {\href{https://webstore.ansi.org/Standards/INCITS/INCITSISOIEC98991999R2005}{https://webstore.ansi.org/\-Standards/\-INCITS/\-INCITSISOIEC98991999R2005}},
     963    organization= {International Standard Organization},
     964    address     = {Geneva, Switzerland},
    965965    year        = 1999,
     966    note        = {\href{https://webstore.ansi.org/Standards/INCITS/INCITSISOIEC98991999R2005}{https://webstore.ansi.org/\-Standards/\-INCITS/\-INCITSISOIEC98991999R2005}},
    966967}
    967968
    … …  
    972973    title       = {C Programming Language {ISO/IEC} 9889:2011-12},
    973974    edition     = {3rd},
    974     publisher   = {International Standard Organization},
    975     address     = {\href{https://www.iso.org/standard/57853.html}{https://\-www.iso.org/\-standard/\-57853.html}},
     975    organization= {International Standard Organization},
     976    address     = {Geneva, Switzerland},
    976977    year        = 2012,
     978    note        = {\href{https://www.iso.org/standard/57853.html}{https://\-www.iso.org/\-standard/\-57853.html}},
    977979}
    978980
    … …  
    982984    key         = {Concepts},
    983985    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming language -- Extensions for concepts {ISO/IEC} {TS} 19217:2015},
    984     publisher   = {International Standard Organization},
    985     address     = {\href{https://www.iso.org/standard/64031.html}{https://\-www.iso.org/\-standard/\-64031.html}},
     986    organization= {International Standard Organization},
     987    address     = {Geneva, Switzerland},
    986988    year        = 2015,
     989    note        = {\href{https://www.iso.org/standard/64031.html}{https://\-www.iso.org/\-standard/\-64031.html}},
    987990}
    988991
    … …  
    11491152    title       = {C\# Language Specification, Standard ECMA-334},
    11501153    organization= {ECMA International Standardizing Information and Communication Systems},
     1154    address     = {Geneva, Switzerland},
    11511155    month       = jun,
    11521156    year        = 2006,
    … …  
    12981302    title       = {Programming Languages -- {Cobol} ISO/IEC 1989:2014},
    12991303    edition     = {2nd},
    1300     institution = {International Standard Organization},
    1301     address     = {\href{https://www.iso.org/standard/51416.html}{https://\-www.iso.org/\-standard/\-51416.html}},
     1304    organization= {International Standard Organization},
     1305    address     = {Geneva, Switzerland},
    13021306    year        = 2014,
     1307    note        = {\href{https://www.iso.org/standard/51416.html}{https://\-www.iso.org/\-standard/\-51416.html}},
    13031308}
    13041309
    … …  
    16541659    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    16551660    organization= {University of Waterloo},
     1661    address     = {Waterloo Ontario, Canada},
    16561662    month       = sep,
    16571663    year        = 2018,
    … …  
    20862092    author      = {Walter Bright and Andrei Alexandrescu},
    20872093    organization= {Digital Mars},
     2094    address     = {Vienna Virginia, U.S.A.},
    20882095    year        = 2016,
    20892096    note        = {\href{http://dlang.org/spec/spec.html}{http://\-dlang.org/\-spec/\-spec.html}},
    … …  
    33533360    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010},
    33543361    edition     = {3rd},
    3355     publisher   = {International Standard Organization},
    3356     address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
     3362    organization= {International Standard Organization},
     3363    address     = {Geneva, Switzerland},
    33573364    year        = 2010,
     3365    note        = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    33583366}
    33593367
    … …  
    33643372    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
    33653373    edition     = {4rd},
    3366     publisher   = {International Standard Organization},
    3367     address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
     3374    organization= {International Standard Organization},
     3375    address     = {Geneva, Switzerland},
    33683376    year        = 2018,
     3377    note        = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
    33693378}
    33703379
    … …  
    47444753    address     = {New York, NY, USA},
    47454754}
     4755
    47464756@techreport{Mesa,
    47474757    keywords    = {monitors, packages},
    … …  
    47504760    title       = {Mesa Language Manual},
    47514761    institution = {Xerox Palo Alto Research Center},
     4762    address     = {Palo Alto, California, U.S.A.},
    47524763    number      = {CSL--79--3},
    47534764    month       = apr,
    … …  
    63016312    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:1998},
    63026313    edition     = {1st},
    6303     publisher   = {International Standard Organization},
    6304     address     = {\href{https://www.iso.org/standard/25845.html}{https://\-www.iso.org/\-standard/\-25845.html}},
     6314    organization  = {International Standard Organization},
     6315    address     = {Geneva, Switzerland},
    63056316    year        = 1998,
     6317    note        = {\href{https://www.iso.org/standard/25845.html}{https://\-www.iso.org/\-standard/\-25845.html}},
    63066318}
    63076319
    … …  
    63126324    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2014},
    63136325    edition     = {4th},
    6314     publisher   = {International Standard Organization},
    6315     address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
     6326    organization= {International Standard Organization},
     6327    address     = {Geneva, Switzerland},
    63166328    year        = 2014,
     6329    note        = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    63176330}
    63186331
    … …  
    63236336    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
    63246337    edition     = {5th},
    6325     publisher   = {International Standard Organization},
    6326     address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
     6338    organization= {International Standard Organization},
     6339    address     = {Geneva, Switzerland},
    63276340    year        = 2017,
     6341    note        = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
    63286342}
    63296343
    … …  
    64576471    title       = {The Programming Language Concurrent Pascal},
    64586472    journal     = ieeese,
    6459     volume      = 2,
     6473    volume      = {SE-1},
     6474    number      = 2,
    64606475    month       = jun,
    64616476    year        = 1975,
    6462     pages       = {199-206}
     6477    pages       = {199-207}
    64636478}
    64646479
    … …  
    67196734    title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
    67206735    edition     = {3rd},
    6721     publisher   = {International Standard Organization},
    6722     address     = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
     6736    organization= {International Standard Organization},
     6737    address     = {Geneva, Switzerland},
    67236738    year        = 2012,
     6739    note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
    67246740}
    67256741
    … …  
    77267742    title       = {The Thoth System: Multi-Process Structuring and Portability},
    77277743    publisher   = {American Elsevier},
     7744    address     = {New York, New York, U.S.A.},
    77287745    year        = 1982
    77297746}
Note: See TracChangeset for help on using the changeset viewer.