Changeset ce00317 for doc/theses/aaron_moss/phd/aaron-thesis.bib

Timestamp:

Aug 27, 2018, 6:18:18 PM (4 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

514247d

Parents:

62e782e

Message:

Add history of CFA to thesis background

File:

• doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) (2 diffs)

doc/theses/aaron_moss/phd/aaron-thesis.bib

@@ -36 +36 @@
 }
 
+@article{Buhr94a,
+    keywords    = {assignment, parameter passing, multiple assignment},
+    contributer = {pabuhr@plg},
+    author      = {P. A. Buhr and David Till and C. R. Zarnke},
+    title       = {Assignment as the Sole Means of Updating Objects},
+    journal     = spe,
+    month       = sep,
+    year        = 1994,
+    volume      = 24,
+    number      = 9,
+    pages       = {835-870},
+}
+
 @mastersthesis{Delisle18,
     author      = {Thierry Delisle },
@@ -65 +78 @@
     note        = {Accepted, to appear},
 }
+
+@mastersthesis{Schluntz17,
+    keywords    = {constructors, destructors, tuples},
+    author      = {Robert Schluntz},
+    title       = {Resource Management and Tuples in \textsf{C}$\mathbf{\forall}$},
+    school      = {School of Computer Science, University of Waterloo},
+    year        = 2017,
+    address     = {Waterloo, Ontario, Canada, N2L 3G1},
+    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
+}