Changes in / [480389d2:0660962c]

Location:

doc/theses/andrew_beach_MMath

Files:

• existing.tex (modified) (1 diff)
• intro.tex (modified) (5 diffs)
• uw-ethesis.bib (modified) (2 diffs)

doc/theses/andrew_beach_MMath/existing.tex

@@ -224 +224 @@
 The global definition of @do_once@ is ignored, however if quadruple took a
 @double@ argument, then the global definition would be used instead as it
-would then be a better match.
-\todo{cite Aaron's thesis (maybe)}
+would then be a better match.\cite{Moss19}
 
 To avoid typing long lists of assertions, constraints can be collected into

doc/theses/andrew_beach_MMath/intro.tex

@@ -125 +125 @@
 with papers on the subject dating back 70s.\cite{Goodenough75}
 Early exceptions were often treated as signals, which carried no information
-except their identity. Ada still uses this system.\todo{cite Ada}
+except their identity.
+Ada originally used this system\cite{Ada}, but now allows for a string
+message as a payload\cite{Ada12}.
 
 The modern flag-ship for termination exceptions is \Cpp,
 which added them in its first major wave of non-object-orientated features
-in 1990.
-\todo{cite https://en.cppreference.com/w/cpp/language/history}
+in 1990.\cite{CppHistory}
 Many EHMs have special exception types,
 however \Cpp has the ability to use any type as an exception.
@@ -146 +147 @@
 impossible to actually handle any errors.
 
-Java was the next popular language to use exceptions. \todo{cite Java}
+Java was the next popular language to use exceptions.\cite{Java8}
 Its exception system largely reflects that of \Cpp, except that requires
 you throw a child type of \code{Java}{java.lang.Throwable}
@@ -181 +182 @@
 % http://bitsavers.informatik.uni-stuttgart.de/pdf/xerox/parc/techReports/
 %   CSL-79-3_Mesa_Language_Manual_Version_5.0.pdf
-Mesa is one programming language that did.\todo{cite Mesa} Experience with Mesa
+Mesa is one programming language that did.\cite{Mesa} Experience with Mesa
 is quoted as being one of the reasons resumptions were not
 included in the \Cpp standard.
@@ -210 +211 @@
 languages, replaced by ``panic".
 In Rust, a panic is just a program level abort that may be implemented by
-unwinding the stack like in termination exception handling.\todo{cite Rust}
-% https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
+unwinding the stack like in termination exception
+handling.\cite{RustPanicMacro}\cite{RustPanicModule}
 Go's panic through is very similar to a termination, except it only supports
 a catch-all by calling \code{Go}{recover()}, simplifying the interface at
-the cost of flexibility.\todo{cite Go}
+the cost of flexibility.\cite{Go:2021}
 
 %\subsection
@@ -291 +292 @@
 This difference is less important in higher-level scripting languages,
 where using exception for other tasks is more common.
-An iconic example is Python's \code{Python}{StopIteration} exception that
+An iconic example is Python's
+\code{Python}{StopIteration}\cite{PythonExceptions} exception that
 is thrown by an iterator to indicate that it is exhausted.
 When paired with Python's iterator-based for-loop this will be thrown every
-time the end of the loop is reached.
-\todo{Cite Python StopIteration and for-each loop.}
-% https://docs.python.org/3/library/exceptions.html#StopIteration
+time the end of the loop is reached.\cite{PythonForLoop}

doc/theses/andrew_beach_MMath/uw-ethesis.bib

@@ -1 +1 @@
 % Bibliography of key references for "LaTeX for Thesis and Large Documents"
 % For use with BibTeX
+% The online reference does not seem to be supported here.
 
 @misc{Dice21,
@@ -15 +16 @@
     howpublished= {\href{https://github.com/cforall/ExceptionBenchmarks_SPE20}{https://\-github.com/\-cforall/\-ExceptionBenchmarks\_SPE20}},
 }
+
+% Could not get `#the-for-statement` to work.
+@misc{PythonForLoop,
+    author={Python Software Foundation},
+    key={Python Compound Statements},
+    howpublished={\href{https://docs.python.org/3/reference/compound_stmts.html}{https://\-docs.python.org/\-3/\-reference/\-compound\_stmts.html}},
+    addendum={Accessed 2021-08-30},
+}
+
+% Again, I would like this to have `#StopIteration`.
+@misc{PythonExceptions,
+    author={Python Software Foundation},
+    key={Python Exceptions},
+    howpublished={\href{https://docs.python.org/3/library/exceptions.html}{https://\-docs.python.org/\-3/\-library/\-exceptions.html}},
+    addendum={Accessed 2021-08-30},
+}
+
+@misc{CppHistory,
+    author={C++ Community},
+    key={Cpp Reference History},
+    howpublished={\href{https://en.cppreference.com/w/cpp/language/history}{https://\-en.cppreference.com/\-w/\-cpp/\-language/\-history}},
+    addendum={Accessed 2021-08-30},
+}
+
+@misc{RustPanicMacro,
+    author={The Rust Team},
+    key={Rust Panic Macro},
+    howpublished={\href{https://doc.rust-lang.org/std/panic/index.html}{https://\-doc.rust-lang.org/\-std/\-panic/\-index.html}},
+    addendum={Accessed 2021-08-31},
+}
+
+@misc{RustPanicModule,
+    author={The Rust Team},
+    key={Rust Panic Module},
+    howpublished={\href{https://doc.rust-lang.org/std/panic/index.html}{https://\-doc.rust-lang.org/\-std/\-panic/\-index.html}},
+    addendum={Accessed 2021-08-31},
+}
+
+@manual{Go:2021,
+    keywords={Go programming language},
+    author={Robert Griesemer and Rob Pike and Ken Thompson},
+    title={{Go} Programming Language},
+    organization={Google},
+    year=2021,
+    note={\href{http://golang.org/ref/spec}{http://\-golang.org/\-ref/\-spec}},
+    addendum={Accessed 2021-08-31},
+}