Ignore:
Timestamp:
Jun 7, 2021, 4:00:16 PM (3 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
382edbe
Parents:
dac16a0
Message:

Revert "proofread Andrew's thesis chapters", changes saved locally.

This reverts commit 4ed7946e1c3092b517d444219a8ec8caf85a8b5a.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/andrew_beach_MMath/intro.tex

    rdac16a0 r21f2e92  
    11\chapter{Introduction}
    22
    3 \PAB{Stay in the present tense. \newline
    4 \url{https://plg.uwaterloo.ca/~pabuhr/technicalWriting.shtml}}
    5 \newline
    6 \PAB{Note, \lstinline{lstlisting} normally bolds keywords. None of the keywords in your thesis are bolded.}
    7 
    83% Talk about Cforall and exceptions generally.
    9 %This thesis goes over the design and implementation of the exception handling
    10 %mechanism (EHM) of
    11 %\CFA (pernounced sea-for-all and may be written Cforall or CFA).
    12 Exception handling provides alternative dynamic inter-function control flow.
     4This thesis goes over the design and implementation of the exception handling
     5mechanism (EHM) of
     6\CFA (pernounced sea-for-all and may be written Cforall or CFA).
     7Exception handling provides dynamic inter-function control flow.
    138There are two forms of exception handling covered in this thesis:
    149termination, which acts as a multi-level return,
    1510and resumption, which is a dynamic function call.
    16 Note, termination exception handling is so common it is often assumed to be the only form.
    17 Lesser know derivations of inter-function control flow are continuation passing in Lisp~\cite{CommonLisp}.
     11This seperation is uncommon because termination exception handling is so
     12much more common that it is often assumed.
    1813
    1914Termination exception handling allows control to return to any previous
    … …  
    3631
    3732% Overview of exceptions in Cforall.
    38 
    39 \PAB{You need section titles here. Don't take them out.}
    40 
    41 \section{Thesis Overview}
    42 
    43 This thesis goes over the design and implementation of the exception handling
    44 mechanism (EHM) of
    45 \CFA (pernounced sea-for-all and may be written Cforall or CFA).
    46 %This thesis describes the design and implementation of the \CFA EHM.
     33This work describes the design and implementation of the \CFA EHM.
    4734The \CFA EHM implements all of the common exception features (or an
    4835equivalent) found in most other EHMs and adds some features of its own.
    … …  
    6552
    6653% A note that yes, that was a very fast overview.
    67 The design and implementation of all of \CFA's EHM's features are
     54All the design and implementation of all of \CFA's EHM's features are
    6855described in detail throughout this thesis, whether they are a common feature
    6956or one unique to \CFA.
    7057
    7158% The current state of the project and what it contributes.
    72 All of these features have been implemented in \CFA, along with
     59All of these features have been added to the \CFA implemenation, along with
    7360a suite of test cases as part of this project.
    7461The implementation techniques are generally applicable in other programming
    … …  
    7663Some parts of the EHM use other features unique to \CFA and these would be
    7764harder to replicate in other programming languages.
    78 
    79 \section{Background}
    8065
    8166% Talk about other programming languages.
    … …  
    8570Exceptions also can replace return codes and return unions.
    8671In functional languages will also sometimes fold exceptions into monads.
    87 
    88 \PAB{You must demonstrate knowledge of background material here.
    89 It should be at least a full page.}
    90 
    91 \section{Contributions}
    9272
    9373The contributions of this work are:
Note: See TracChangeset for help on using the changeset viewer.