Index: doc/theses/andrew_beach_MMath/existing.tex =================================================================== --- doc/theses/andrew_beach_MMath/existing.tex (revision 0a55a53ade297b19f79353b21346a7e4dd7636a6) +++ doc/theses/andrew_beach_MMath/existing.tex (revision dd698b4d684e3c7fc0fa7b67fd0814c8f5d71a7e) @@ -224,6 +224,5 @@ 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 Index: doc/theses/andrew_beach_MMath/intro.tex =================================================================== --- doc/theses/andrew_beach_MMath/intro.tex (revision 0a55a53ade297b19f79353b21346a7e4dd7636a6) +++ doc/theses/andrew_beach_MMath/intro.tex (revision dd698b4d684e3c7fc0fa7b67fd0814c8f5d71a7e) @@ -125,10 +125,11 @@ 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,5 +147,5 @@ 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,5 +182,5 @@ % 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,9 +211,9 @@ 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,8 +292,7 @@ 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} Index: doc/theses/andrew_beach_MMath/uw-ethesis.bib =================================================================== --- doc/theses/andrew_beach_MMath/uw-ethesis.bib (revision 0a55a53ade297b19f79353b21346a7e4dd7636a6) +++ doc/theses/andrew_beach_MMath/uw-ethesis.bib (revision dd698b4d684e3c7fc0fa7b67fd0814c8f5d71a7e) @@ -1,4 +1,5 @@ % 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,2 +16,49 @@ 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}, +}