Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r1f8865e rd893266a  
    780780    title       = {Boost Coroutine Library},
    781781    year        = 2015,
    782     howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    783                   {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
    784     note        = {Accessed: 2016-09},
     782    note        = {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
     783                  {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}} [Accessed September 2016]},
    785784}
    786785
    … …  
    866865    keywords    = {ISO/IEC C 11},
    867866    contributer = {pabuhr@plg},
    868     key         = {C11},
    869     title       = {C Programming Language {ISO/IEC} 9889:2011-12},
     867    author      = {C11},
     868    title       = {Programming Languages -- {C} {ISO/IEC} 9889:2011-12},
    870869    edition     = {3rd},
    871870    publisher   = {International Standard Organization},
    … …  
    874873}
    875874
    876 @manual{C++Concepts,
     875@techreport{C++Concepts,
     876    type        = {International Standard},
    877877    keywords    = {ISO/IEC TS 19217:2015},
    878878    contributer = {a3moss@uwaterloo.ca},
    879879    key         = {Concepts},
    880     title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming language -- Extensions for concepts {ISO/IEC} {TS} 19217:2015},
     880    title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts {ISO/IEC} {TS} 19217:2015},
    881881    publisher   = {International Standard Organization},
    882882    address     = {\href{https://www.iso.org/standard/64031.html}{https://\-www.iso.org/\-standard/\-64031.html}},
    883     year        = 2015,
     883    year        = 2015
    884884}
    885885
    886886@misc{Cforall,
    887887    key         = {Cforall},
    888     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     888    title       = {C$\forall$ Features},
    889889    howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
    890890    note        = {Accessed: 2018-01-01},
    … …  
    895895    contributer = {pabuhr@plg},
    896896    author      = {Rodolfo Gabriel Esteves},
    897     title       = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages},
     897    title       = {C$\forall$, a Study in Evolutionary Design in Programming Languages},
    898898    school      = {School of Computer Science, University of Waterloo},
    899899    year        = 2004,
    … …  
    10221022}
    10231023
    1024 @inproceedings{Necula02,
    1025     author      = {Necula, George C. and McPeak, Scott and Weimer, Westley},
    1026     title       = {{CCured}: Type-safe Retrofitting of Legacy Code},
    1027     booktitle   = {Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    1028     series      = {POPL '02},
    1029     year        = {2002},
    1030     location    = {Portland, Oregon},
    1031     pages       = {128-139},
    1032     publisher   = {ACM},
    1033     address     = {New York, NY, USA},
    1034 }
    1035 
    10361024@techreport{cforall-ug,
    10371025    keywords    = {cforall, user guide},
    10381026    contributer = {pabuhr@plg},
    10391027    author      = {Peter A. Buhr and Glen Ditchfield and David Till and Charles R. Zarnke},
    1040     title       = {\textsf{C}$\mathbf{\forall}$ Users Guide, Version 0.1},
     1028    title       = {{\mbox{\mdseries\sffamily C{$\mathbf{\forall}$}}}\ Users Guide, Version 0.1},
    10411029    institution = {Department of Computer Science, University of Waterloo},
    10421030    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    … …  
    11171105    title       = {Programming Languages -- {Cobol} ISO/IEC 1989:2014},
    11181106    edition     = {2nd},
    1119     institution = {International Standard Organization},
     1107    institution = {International Standard Organization},
    11201108    address     = {\href{https://www.iso.org/standard/51416.html}{https://\-www.iso.org/\-standard/\-51416.html}},
    11211109    year        = 2014,
    … …  
    11291117    journal     = sigplan,
    11301118    year        = 1984,
    1131     month       = jun,
    1132     volume      = 19,
    1133     number      = 6,
    1134     pages       = {1-12},
     1119    month       = jun, volume = 19, number = 6, pages = {1-12},
    11351120    note        = {Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction},
    11361121    abstract    = {
    … …  
    15511536@mastersthesis{Delisle18,
    15521537    author      = {Thierry Delisle },
    1553     title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     1538    title       = {Concurrency in {C}$\mathbf{\forall}$},
    15541539    school      = {School of Computer Science, University of Waterloo},
    15551540    year        = 2018,
    … …  
    17171702    contributer = {a3moss@uwaterloo.ca},
    17181703    author      = {Glen Ditchfield},
    1719     title       = {Conversions for \textsf{C}$\mathbf{\forall}$},
     1704    title       = {Conversions for {Cforall}},
    17201705    note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
    17211706    month       = {Nov},
    … …  
    20041989
    20051990@book{Stroustrup94,
    2006     keywords    = {C++},
    2007     contributor = {wyrmok@plg},
    2008     author      = {Bjarne Stroustrup},
    2009     title       = {The Design and Evolution of {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    2010     publisher   = {Addison-Wesley},
     1991    keywords    = {C++},
     1992    contributor = {wyrmok@plg},
     1993    author      = {Bjarne Stroustrup},
     1994    title       = {The Design and Evolution of {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     1995    publisher   = {Addison-Wesley},
    20111996    address     = {Boston},
    2012     year        = 1994
     1997    year        = 1994
    20131998}
    20141999
    … …  
    27532738}
    27542739
    2755 @misc{GCCExtensions,
     2740@online{GCCExtensions,
    27562741    contributer = {a3moss@uwaterloo.ca},
    27572742    key         = {{GNU}},
    … …  
    27592744    title       = {Extensions to the {C} Language Family},
    27602745    year        = 2014,
    2761     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}},
    2762     note        = {Accessed: 2017-04-02},
     2746    note        = {\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}},
     2747    urldate     = {2017-04-02}
    27632748}
    27642749
    … …  
    30983083    keywords    = {GMP arbitrary-precision library},
    30993084    contributer = {pabuhr@plg},
    3100     key         = {GMP},
    31013085    title       = {{GNU} Multiple Precision Arithmetic Library},
    3102     address     = {GNU},
     3086    author      = {GMP},
     3087    organization= {GNU},
    31033088    year        = 2016,
    31043089    note        = {\href{https://gmplib.org}{https://\-gmplib.org}},
    … …  
    31293114}
    31303115
    3131 @misc{GObject,
     3116@online{GObject,
    31323117    keywords    = {GObject},
    31333118    contributor = {a3moss@uwaterloo.ca},
    3134     key         = {GObject},
    3135     organization= {The {GNOME} Project},
    3136     title       = {{GO}bject Reference Manual},
     3119    author      = {{GObject}},
     3120    organization= {The GNOME Project},
     3121    title       = {{GObject} Reference Manual},
    31373122    year        = 2014,
    3138     howpublished= {https://developer.gnome.org/gobject/stable/},
    3139     note        = {Accessed: 2017-04},
     3123    url         = {https://developer.gnome.org/gobject/stable/},
     3124    urldate     = {2017-04-04}
    31403125}
    31413126
    … …  
    33953380    contributer = {pabuhr@plg},
    33963381    author      = {Richard C. Bilson},
    3397     title       = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$},
     3382    title       = {Implementing Overloading and Polymorphism in Cforall},
    33983383    school      = {School of Computer Science, University of Waterloo},
    33993384    year        = 2003,
    … …  
    36613646}
    36623647
    3663 @inproceedings{Pharr12,
    3664     title       = {ispc: A {SPMD} compiler for high-performance CPU programming},
    3665     author      = {Pharr, Matt and Mark, William R},
    3666     booktitle   = {Innovative Parallel Computing (InPar), 2012},
    3667     pages       = {1--13},
    3668     year        = {2012},
    3669     month       = may,
    3670     address     = {San Jose, CA, USA},
    3671     publisher   = {IEEE},
    3672 }
    3673 
    3674 @inproceedings{DeLozier13,
    3675     keywords    = {C++, local pointers, memory safety, type-safety},
    3676     author      = {DeLozier, Christian and Eisenberg, Richard and Nagarakatte, Santosh and Osera, Peter-Michael and Martin, Milo M.K. and Zdancewic, Steve},
    3677     title       = {{I}ronclad {C++}: A Library-augmented Type-safe Subset of {C++}},
    3678     booktitle   = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications},
    3679     series      = {OOPSLA'13},
    3680     year        = {2013},
    3681     address     = {Indianapolis, Indiana, USA},
    3682     pages       = {287-304},
    3683     publisher   = {ACM},
    3684 }
    3685 
    36863648@inproceedings{Hibbard77,
    36873649    keywords    = {algol-68, concurrency},
    … …  
    37253687                 
    37263688@book{Java,
    3727     keywords    = {Java},
    3728     contributer = {pabuhr@plg},
    3729     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
    3730     title       = {The {Java} Language Specification},
     3689    keywords    = {Java},
     3690    contributer = {pabuhr@plg},
     3691    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
     3692    title       = {The {Java} Language Specification},
    37313693    publisher   = {Addison-Wesley},
    37323694    address     = {Reading},
    3733     year        = 2000,
     3695    year        = 2000,
    37343696    edition     = {2nd},
    37353697}
    37363698
    37373699@manual{Java8,
    3738     keywords    = {Java SE 8},
    3739     contributer = {pabuhr@plg},
    3740     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
    3741     title       = {{Java} Language Specification},
     3700    keywords    = {Java SE 8},
     3701    contributer = {pabuhr@plg},
     3702    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
     3703    title       = {{Java} Language Specification},
    37423704    publisher   = {Oracle},
    3743     year        = 2015,
    3744     edition     = {{J}ava {SE} 8},
     3705    year        = 2015,
     3706    edition     = {Java SE 8},
    37453707}
    37463708
    … …  
    46774639}
    46784640
    4679 @misc{obj-c-book,
     4641@manual{obj-c-book,
    46804642    keywords    = {objective-c},
    46814643    contributor = {a3moss@uwaterloo.ca},
    4682     key         = {Objective-C},
    4683     title       = {Objective-C},
    4684     publisher   = {Apple Inc.},
    4685     year        = 2015,
    4686     howpublished= {\href{https://developer.apple.com/library/content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},
    4687     note        = {Accessed: 2018-03}
    4688 }
    4689 
    4690 @misc{xcode7,
     4644    author      = {{Objective-C}},
     4645    title       = {The {Objective-C} Programming Language},
     4646    organization= {Apple Computer Inc.},
     4647    address     = {Cupertino, CA},
     4648    year        = 2003
     4649}
     4650
     4651@online{xcode7,
    46914652    keywords    = {objective-c},
    46924653    contributor = {a3moss@uwaterloo.ca},
    4693     key         = {Xcode},
    4694     title       = {{X}code 7 Release Notes},
     4654    author      = {{Xcode}},
     4655    title       = {{Xcode} 7 Release Notes},
    46954656    year        = 2015,
    4696     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}},
    4697     note        = {Accessed: 2017-04}
     4657    note        = {\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}},
     4658    urldate     = {2017-04-04}
    46984659}
    46994660
    … …  
    52355196    year        = 1984,
    52365197    series      = {Computers and their Applications},
    5237     address     = {Market Cross House, Cooper Street, Chichester, West Sussex, PO19 1EB, England},
     5198    address     = {Market Cross House, Cooper Street, Chichester, West Sussex,
     5199        PO19 1EB, England},
    52385200    summary     = {
    52395201        The principles of Procedural Abstraction, Data Type Completeness,
    … …  
    52875249}
    52885250
    5289 @inproceedings{Rafkind09,
    5290     keywords    = {accurate, C programming language, conservative, garbage collection, precise},
    5291     contributer = {pabuhr@plg},
    5292     author      = {Rafkind, Jon and Wick, Adam and Regehr, John and Flatt, Matthew},
    5293     title       = {Precise Garbage Collection for C},
    5294     booktitle   = {Proceedings of the 2009 International Symposium on Memory Management},
    5295     series      = {ISMM '09},
    5296     year        = {2009},
    5297     location    = {Dublin, Ireland},
    5298     pages       = {39-48},
    5299     publisher   = {ACM},
    5300     address     = {New York, NY, USA},
     5251@book{PowerPC,
     5252    key         = {PowerPC processor},
     5253    title       = {Programming Environments Manual for 32-Bit Implementations of the PowerPC ArchitectureARM Architecture},
     5254    publisher   = {Freescale Semiconductor},
     5255    volume      = {MPCFPE32B},
     5256    edition     = {Rev. 3},
     5257    month       = 9,
     5258    year        = 2005,
    53015259}
    53025260
    … …  
    53715329
    53725330@article{psa:persistence,
    5373     keywords    = {persistence, first-class procedures, closure, PS-Algol, Abstract Data Types},
     5331    keywords    = {persistence, first-class procedures, closure, PS-Algol,
     5332        Abstract Data Types},
    53745333    contributer = {gjditchfield@plg},
    53755334    author      = {Malcolm P. Atkinson and Ronald Morrison},
    … …  
    54025361
    54035362@article{Procol89,
    5404     keywords    = {active objects, object-oriented languages, object-based languages, explicit per-object protocol},
     5363    keywords    = {active objects, object-oriented languages,
     5364        object-based languages, explicit per-object protocol},
    54055365    contributer = {akgoel@plg},
    54065366    author      = {Jan van den Bos and Chris Laffra},
    … …  
    54165376}
    54175377
    5418 @book{PowerPC,
    5419     key         = {PowerPC processor},
    5420     title       = {Programming Environments Manual for 32-Bit Implementations of the PowerPC ArchitectureARM Architecture},
    5421     publisher   = {Freescale Semiconductor},
    5422     volume      = {MPCFPE32B},
    5423     edition     = {Rev. 3},
    5424     month       = 9,
    5425     year        = 2005,
    5426 }
    5427 
    54285378@book{Butenhof97,
    54295379    keywords    = {PThreads, concurrency},
    … …  
    54725422    contributer = {pabuhr@plg},
    54735423    key         = {C++98},
    5474     title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:1998},
    5475     edition     = {1st},
    5476     publisher   = {International Standard Organization},
    5477     address     = {\href{https://www.iso.org/standard/25845.html}{https://\-www.iso.org/\-standard/\-25845.html}},
     5424    title       = {Programming Languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     5425    organization= {International Standard ISO/IEC 14882:1998 (E)},
     5426    publisher   = {American National Standards Institute},
     5427    address     = {www.ansi.org},
    54785428    year        = 1998,
    54795429}
    … …  
    54825432    keywords    = {ISO/IEC C++ 14},
    54835433    contributer = {pabuhr@plg},
    5484     key         = {C++14},
    5485     title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2014},
     5434    author      = {C++14},
     5435    title       = {Programming Languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} ISO/IEC 14882:2014},
    54865436    edition     = {4th},
    54875437    publisher   = {International Standard Organization},
    … …  
    59285878
    59295879@mastersthesis{Schluntz17,
    5930     keywords    = {constructors, destructors, tuples},
    59315880    author      = {Robert Schluntz},
    5932     title       = {Resource Management and Tuples in \textsf{C}$\mathbf{\forall}$},
     5881    title       = {Resource Management and Tuples in {C}$\mathbf{\forall}$},
    59335882    school      = {School of Computer Science, University of Waterloo},
    59345883    year        = 2017,
    … …  
    60075956    keywords    = {Rust programming language},
    60085957    contributer = {pabuhr@plg},
    6009     key         = {Rust},
    6010     title       = {The {R}ust Programming Language},
    6011     address     = {The Rust Project Developers},
     5958    author      = {{Rust}},
     5959    title       = {The {Rust} Programming Language},
     5960    organization= {The Rust Project Developers},
    60125961    year        = 2015,
    60135962    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    60195968    keywords    = {Scala programming language},
    60205969    contributer = {pabuhr@plg},
    6021     key         = {Scala},
    6022     title       = {{S}cala Language Specification, Version 2.11},
    6023     address     = {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
     5970    author      = {{Scala}},
     5971    title       = {{Scala} Language Specification, Version 2.11},
     5972    organization= {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
    60245973    year        = 2016,
    60255974    note        = {\href{http://www.scala-lang.org/files/archive/spec/2.11}{http://\-www.scala-lang.org/\-files/\-archive/\-spec/\-2.11}},
    … …  
    61016050    number      = 12,
    61026051    pages       = {66-76},
    6103 }
    6104 
    6105 @article{Nickolls08,
    6106     author      = {Nickolls, John and Buck, Ian and Garland, Michael and Skadron, Kevin},
    6107     title       = {Scalable Parallel Programming with CUDA},
    6108     journal     = {Queue},
    6109     volume      = {6},
    6110     number      = {2},
    6111     month       = mar,
    6112     year        = 2008,
    6113     pages       = {40-53},
    6114     publisher   = {ACM},
    6115     address     = {New York, NY, USA},
    6116 }
    6117 
    6118 @inproceedings{Leissa14,
    6119     title       = {{S}ierra: a {SIMD} extension for {C}++},
    6120     author      = {Lei{\ss}a, Roland and Haffner, Immanuel and Hack, Sebastian},
    6121     booktitle   = {Proceedings of the 2014 Workshop on Workshop on programming models for SIMD/Vector processing},
    6122     pages       = {17-24},
    6123     year        = {2014},
    6124     organization= {ACM}
    61256052}
    61266053
    … …  
    63656292@article{Smith98,
    63666293    keywords    = {Polymorphic C},
    6367     contributor = {a3moss@uwaterloo.ca},
    6368     title       = {A sound polymorphic type system for a dialect of {C}},
     6294    contributor = {a3moss@uwaterloo.ca},
     6295    title       = {A sound polymorphic type system for a dialect of C},
    63696296    author      = {Smith, Geoffrey and Volpano, Dennis},
    63706297    journal     = {Science of computer programming},
    … …  
    64746401}
    64756402
    6476 @misc{Sutter15,
     6403@online{Sutter15,
    64776404    contributer = {pabuhr@plg},
    64786405    author      = {Herb Sutter and Bjarne Stroustrup and Gabriel Dos Reis},
    … …  
    64816408    month       = oct,
    64826409    year        = 2015,
    6483     pages       = {1-6},
     6410    pages       = {1--6},
    64846411    numpages    = {6},
    6485     howpublished= {\href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0144r0.pdf}{http://\-www.open-std.org/\-jtc1/\-sc22/\-wg21/\-docs/\-papers/\-2015/\-p0144r0.pdf}},
     6412    note        = {\href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0144r0.pdf}{http://\-www.open-std.org/\-jtc1/\-sc22/\-wg21/\-docs/\-papers/\-2015/\-p0144r0.pdf}},
    64866413}
    64876414
    … …  
    67576684}
    67586685
    6759 @misc{TIOBE,
    6760     contributer = {pabuhr@plg},
    6761     key         = {TIOBE Index},
    6762     title       = {{TIOBE} Index},
    6763     howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    6764     note        = {Accessed: 2018-09},
     6686@online{TIOBE,
     6687    contributer = {pabuhr@plg},
     6688    author      = {{TIOBE Index}},
     6689    year        = {February 2018},
     6690    url         = {http://www.tiobe.com/tiobe_index},
    67656691}
    67666692
    … …  
    67736699    month       = sep,
    67746700    year        = 1990,
     6701    note        = {}
    67756702}
    67766703
    … …  
    70797006}
    70807007
    7081 @misc{Vala,
     7008@online{Vala,
    70827009    keywords    = {GObject, Vala},
    70837010    contributor = {a3moss@uwaterloo.ca},
    7084     key         = {Vala},
    7085     organization= {The {GNOME} Project},
    7086     title       = {{V}ala Reference Manual},
     7011    author      = {{Vala}},
     7012    organization= {The GNOME Project},
     7013    title       = {Vala Reference Manual},
    70877014    year        = 2017,
    7088     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
    7089     note        = {Accessed: 2017-04}
     7015    url         = {https://wiki.gnome.org/Projects/Vala/Manual},
     7016    urldate     = {2017-04-04}
    70907017}
    70917018
Note: See TracChangeset for help on using the changeset viewer.