Changes in / [0660962c:480389d2]

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.\cite{Moss19}
+would then be a better match.
+\todo{cite Aaron's thesis (maybe)}
 
 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 originally used this system\cite{Ada}, but now allows for a string
-message as a payload\cite{Ada12}.
+except their identity. Ada still uses this system.\todo{cite Ada}
 
 The modern flag-ship for termination exceptions is \Cpp,
 which added them in its first major wave of non-object-orientated features
-in 1990.\cite{CppHistory}
+in 1990.
+\todo{cite https://en.cppreference.com/w/cpp/language/history}
 Many EHMs have special exception types,
 however \Cpp has the ability to use any type as an exception.
@@ -147 +146 @@
 impossible to actually handle any errors.
 
-Java was the next popular language to use exceptions.\cite{Java8}
+Java was the next popular language to use exceptions. \todo{cite Java}
 Its exception system largely reflects that of \Cpp, except that requires
 you throw a child type of \code{Java}{java.lang.Throwable}
@@ -182 +181 @@
 % 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.\cite{Mesa} Experience with Mesa
+Mesa is one programming language that did.\todo{cite Mesa} Experience with Mesa
 is quoted as being one of the reasons resumptions were not
 included in the \Cpp standard.
@@ -211 +210 @@
 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.\cite{RustPanicMacro}\cite{RustPanicModule}
+unwinding the stack like in termination exception handling.\todo{cite Rust}
+% https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
 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.\cite{Go:2021}
+the cost of flexibility.\todo{cite Go}
 
 %\subsection
@@ -292 +291 @@
 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}\cite{PythonExceptions} exception that
+An iconic example is Python's \code{Python}{StopIteration} 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.\cite{PythonForLoop}
+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

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,
@@ -16 +15 @@
     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},
-}