Changeset 6cf21ed8

Aug 31, 2021, 1:23:59 PM (3 years ago)
Andrew Beach <ajbeach@…>
ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum
0660962c, e37db11

Andrew MMath: First pass on adding missing citations.

3 edited


  • doc/theses/andrew_beach_MMath/existing.tex

    r0a55a53 r6cf21ed8  
    224224The global definition of @do_once@ is ignored, however if quadruple took a
    225225@double@ argument, then the global definition would be used instead as it
    226 would then be a better match.
    227 \todo{cite Aaron's thesis (maybe)}
     226would then be a better match.\cite{Moss19}
    229228To avoid typing long lists of assertions, constraints can be collected into
  • doc/theses/andrew_beach_MMath/intro.tex

    r0a55a53 r6cf21ed8  
    125125with papers on the subject dating back 70s.\cite{Goodenough75}
    126126Early exceptions were often treated as signals, which carried no information
    127 except their identity. Ada still uses this system.\todo{cite Ada}
     127except their identity.
     128Ada originally used this system\cite{Ada}, but now allows for a string
     129message as a payload\cite{Ada12}.
    129131The modern flag-ship for termination exceptions is \Cpp,
    130132which added them in its first major wave of non-object-orientated features
    131 in 1990.
    132 \todo{cite}
     133in 1990.\cite{CppHistory}
    133134Many EHMs have special exception types,
    134135however \Cpp has the ability to use any type as an exception.
    146147impossible to actually handle any errors.
    148 Java was the next popular language to use exceptions. \todo{cite Java}
     149Java was the next popular language to use exceptions.\cite{Java8}
    149150Its exception system largely reflects that of \Cpp, except that requires
    150151you throw a child type of \code{Java}{java.lang.Throwable}
    182183%   CSL-79-3_Mesa_Language_Manual_Version_5.0.pdf
    183 Mesa is one programming language that did.\todo{cite Mesa} Experience with Mesa
     184Mesa is one programming language that did.\cite{Mesa} Experience with Mesa
    184185is quoted as being one of the reasons resumptions were not
    185186included in the \Cpp standard.
    210211languages, replaced by ``panic".
    211212In Rust, a panic is just a program level abort that may be implemented by
    212 unwinding the stack like in termination exception handling.\todo{cite Rust}
    213 %
     213unwinding the stack like in termination exception
    214215Go's panic through is very similar to a termination, except it only supports
    215216a catch-all by calling \code{Go}{recover()}, simplifying the interface at
    216 the cost of flexibility.\todo{cite Go}
     217the cost of flexibility.\cite{Go:2021}
    291292This difference is less important in higher-level scripting languages,
    292293where using exception for other tasks is more common.
    293 An iconic example is Python's \code{Python}{StopIteration} exception that
     294An iconic example is Python's
     295\code{Python}{StopIteration}\cite{PythonExceptions} exception that
    294296is thrown by an iterator to indicate that it is exhausted.
    295297When paired with Python's iterator-based for-loop this will be thrown every
    296 time the end of the loop is reached.
    297 \todo{Cite Python StopIteration and for-each loop.}
    298 %
     298time the end of the loop is reached.\cite{PythonForLoop}
  • doc/theses/andrew_beach_MMath/uw-ethesis.bib

    r0a55a53 r6cf21ed8  
    11% Bibliography of key references for "LaTeX for Thesis and Large Documents"
    22% For use with BibTeX
     3% The online reference does not seem to be supported here.
    1516    howpublished= {\href{}{https://\\-cforall/\-ExceptionBenchmarks\_SPE20}},
     19% Could not get `#the-for-statement` to work.
     21    author={Python Software Foundation},
     22    key={Python Compound Statements},
     23    howpublished={\href{}{https://\\-3/\-reference/\-compound\_stmts.html}},
     24    addendum={Accessed 2021-08-30},
     27% Again, I would like this to have `#StopIteration`.
     29    author={Python Software Foundation},
     30    key={Python Exceptions},
     31    howpublished={\href{}{https://\\-3/\-library/\-exceptions.html}},
     32    addendum={Accessed 2021-08-30},
     36    author={C++ Community},
     37    key={Cpp Reference History},
     38    howpublished={\href{}{https://\\-w/\-cpp/\-language/\-history}},
     39    addendum={Accessed 2021-08-30},
     43    author={The Rust Team},
     44    key={Rust Panic Macro},
     45    howpublished={\href{}{https://\\-std/\-panic/\-index.html}},
     46    addendum={Accessed 2021-08-31},
     50    author={The Rust Team},
     51    key={Rust Panic Module},
     52    howpublished={\href{}{https://\\-std/\-panic/\-index.html}},
     53    addendum={Accessed 2021-08-31},
     57    keywords={Go programming language},
     58    author={Robert Griesemer and Rob Pike and Ken Thompson},
     59    title={{Go} Programming Language},
     60    organization={Google},
     61    year=2021,
     62    note={\href{}{http://\\-ref/\-spec}},
     63    addendum={Accessed 2021-08-31},
Note: See TracChangeset for help on using the changeset viewer.