Changeset 166b384


Ignore:
Timestamp:
Sep 25, 2021, 4:08:33 PM (2 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum
Children:
86bd8538
Parents:
f93c50a
Message:

Andrew MMath: Added the missing front matter and corrected a few spelling/grammar mistakes.

Location:
doc/theses/andrew_beach_MMath
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/andrew_beach_MMath/features.tex

    rf93c50a r166b384  
    8484\paragraph{Hierarchy}
    8585A common way to organize exceptions is in a hierarchical structure.
    86 This pattern comes from object-orientated languages where the
     86This pattern comes from object-oriented languages where the
    8787exception hierarchy is a natural extension of the object hierarchy.
    8888
     
    131131A common feature in many programming languages is a tool to pair code
    132132(behaviour) with data.
    133 In \CFA this is done with the virtual system,
     133In \CFA, this is done with the virtual system,
    134134which allow type information to be abstracted away, recovered and allow
    135135operations to be performed on the abstract objects.
  • doc/theses/andrew_beach_MMath/intro.tex

    rf93c50a r166b384  
    138138message as a payload\cite{Ada12}.
    139139
    140 The modern flag-ship for termination exceptions is \Cpp,
     140The modern flagship for termination exceptions -- if one exists -- is \Cpp,
    141141which added them in its first major wave of non-object-orientated features
    142142in 1990.\cite{CppHistory}
     
    195195included in the \Cpp standard.
    196196% https://en.wikipedia.org/wiki/Exception_handling
    197 Since then, resumptions have been ignored in main-stream programming languages.
     197Since then, resumptions have been ignored in mainstream programming languages.
    198198However, resumption is being revisited in the context of decades of other
    199199developments in programming languages.
     
    217217
    218218%\subsection
    219 More recently exceptions, seem to be vanishing from newer programming
     219More recently, exceptions seem to be vanishing from newer programming
    220220languages, replaced by ``panic".
    221221In Rust, a panic is just a program level abort that may be implemented by
     
    383383Because of their cost, exceptions are rarely used for hot paths of execution.
    384384Hence, there is an element of self-fulfilling prophecy as implementation
    385 techniques have been focused on making them cheap to set-up,
     385techniques have been focused on making them cheap to set up,
    386386happily making them expensive to use in exchange.
    387387This difference is less important in higher-level scripting languages,
  • doc/theses/andrew_beach_MMath/uw-ethesis-frontpgs.tex

    rf93c50a r166b384  
    156156\begin{center}\textbf{Acknowledgements}\end{center}
    157157
    158 I would like to thank all the people who made this thesis possible.
    159 (I'm waiting until who is involved is finalized.)
     158As is tradition and his due, I would like to begin by thanking my
     159supervisor Peter Buhr. From accepting me in a first place,
     160to helping me run performance tests, I would not be here without him.
     161Also if there was an ``artist" field here he would be listed there as well,
     162he helped me a lot with the diagrams.
     163
     164I would like to thank the readers
     165Gregor Richards and Yizhou Zhang
     166for their feedback and approval.
     167The presentation of the thesis has definitely been improved with their
     168feedback.
     169
     170I also thank the entire Cforall Team who built the rest of the
     171\CFA compiler. From the existing features I used in my work, to the
     172internal tooling that makes further development easier and the optimizations
     173that make running tests pass by quickly.
     174This includes: Aaron Moss, Rob Schluntz, Thierry Delisle, Michael Brooks,
     175Mubeen Zulfieqar \& Fangren Yu.
     176
     177And thank-you Henry Xue, the co-op student who
     178converted my macro implementation of exception declarations into
     179the compiler features presented in this thesis.
     180
     181Finally I thank my family, who are still relieved I learned how to read.
    160182
    161183\cleardoublepage
Note: See TracChangeset for help on using the changeset viewer.