Changeset 6cf21ed8 for doc/theses/andrew_beach_MMath/intro.tex

Timestamp:

Aug 31, 2021, 1:23:59 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum

Children:

0660962c, e37db11

Parents:

0a55a53

Message:

Andrew MMath: First pass on adding missing citations.

File:

• doc/theses/andrew_beach_MMath/intro.tex (modified) (5 diffs)

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}