source: doc/theses/aaron_moss/phd/aaron-thesis.bib @ ce00317

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since ce00317 was ce00317, checked in by Aaron Moss <a3moss@…>, 6 years ago

Add history of CFA to thesis background

  • Property mode set to 100644
File size: 3.8 KB
RevLine 
[2a9d12d]1%    Predefined journal names:
2%  acmcs: Computing Surveys             acta: Acta Infomatica
3@string{acta="Acta Infomatica"}
4%  cacm: Communications of the ACM
5%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
6%  ieeese: IEEE Trans. on Soft. Eng.    ieeetc: IEEE Trans. on Computers
7%  ieeetcad: IEEE Trans. on Computer-Aided Design of Integrated Circuits
8%  ipl: Information Processing Letters  jacm: Journal of the ACM
9%  jcss: J. Computer & System Sciences  scp: Science of Comp. Programming
10%  sicomp: SIAM J. on Computing         tocs: ACM Trans. on Comp. Systems
11%  tods: ACM Trans. on Database Sys.    tog: ACM Trans. on Graphics
12%  toms: ACM Trans. on Math. Software   toois: ACM Trans. on Office Info. Sys.
13%  toplas: ACM Trans. on Prog. Lang. & Sys.
14%  tcs: Theoretical Computer Science
15@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
16@string{ieeese="IEEE Transactions on Software Engineering"}
17@string{spe="Software---\-Practice and Experience"}
18@string{ccpe="Concurrency and Computation: Practice and Experience"}
19@string{sigplan="SIGPLAN Notices"}
20@string{joop="Journal of Object-Oriented Programming"}
21@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
22@string{osr="Operating Systems Review"}
23@string{pldi="Programming Language Design and Implementation"}
24@string{toplas="Transactions on Programming Languages and Systems"}
25@string{mathann="Mathematische Annalen"}
26
27@mastersthesis{Bilson03,
28    keywords    = {Cforall, parametric polymorphism, overloading},
29    contributer = {pabuhr@plg},
30    author      = {Richard C. Bilson},
31    title       = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$},
32    school      = {School of Computer Science, University of Waterloo},
33    year        = 2003,
34    address     = {Waterloo, Ontario, Canada, N2L 3G1},
35    note        = {\href{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-BilsonThesis.pdf}},
36}
37
[ce00317]38@article{Buhr94a,
39    keywords    = {assignment, parameter passing, multiple assignment},
40    contributer = {pabuhr@plg},
41    author      = {P. A. Buhr and David Till and C. R. Zarnke},
42    title       = {Assignment as the Sole Means of Updating Objects},
43    journal     = spe,
44    month       = sep,
45    year        = 1994,
46    volume      = 24,
47    number      = 9,
48    pages       = {835-870},
49}
50
[62e782e]51@mastersthesis{Delisle18,
52    author      = {Thierry Delisle },
53    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
54    school      = {School of Computer Science, University of Waterloo},
55    year        = 2018,
56    address     = {Waterloo, Ontario, Canada, N2L 3G1},
57    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
58}
59
[2a9d12d]60@phdthesis{Ditchfield92,
61    keywords    = {C, parametric polymorphism, overloading},
62    contributer = {pabuhr@plg},
63    author      = {Glen Jeffrey Ditchfield},
64    title       = {Contextual Polymorphism},
65    school      = {Department of Computer Science, University of Waterloo},
66    year        = 1992,
67    address     = {Waterloo, Ontario, Canada, N2L 3G1},
68    note        = {\href{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-DitchfieldThesis.pdf}}
69}
70
71@article{Moss18,
72    keywords    = {concurrency, C++},
73    contributer = {pabuhr@plg},
74    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
75    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
76    year        = 2018,
77    journal     = spe,
78    note        = {Accepted, to appear},
79}
[ce00317]80
81@mastersthesis{Schluntz17,
82    keywords    = {constructors, destructors, tuples},
83    author      = {Robert Schluntz},
84    title       = {Resource Management and Tuples in \textsf{C}$\mathbf{\forall}$},
85    school      = {School of Computer Science, University of Waterloo},
86    year        = 2017,
87    address     = {Waterloo, Ontario, Canada, N2L 3G1},
88    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
89}
Note: See TracBrowser for help on using the repository browser.