Changeset 9cdfa5fb for doc/theses/andrew_beach_MMath/uw-ethesis-frontpgs.tex

Timestamp:

Sep 10, 2021, 10:43:15 AM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

63b3279

Parents:

d0b9247

Message:

Andrew MMath: Used (most of) Gregor's feedback to update the thesis. There are still a few \todo items as well as a general request for examples.

File:

• doc/theses/andrew_beach_MMath/uw-ethesis-frontpgs.tex (modified) (2 diffs)

doc/theses/andrew_beach_MMath/uw-ethesis-frontpgs.tex

@@ -137 +137 @@
 This thesis covers the design and implementation of the \CFA EHM,
 along with a review of the other required \CFA features.
-The EHM includes common features of termination exception handling and
-similar support for resumption exception handling.
+The EHM includes common features of termination exception handling,
+which abandons and recovers from an operation,
+and similar support for resumption exception handling,
+which repairs and continues with an operation.
 The design of both has been adapted to utilize other tools \CFA provides,
 as well as fit with the assertion based interfaces of the language.
@@ -144 +146 @@
 The EHM has been implemented into the \CFA compiler and run-time environment.
 Although it has not yet been optimized, performance testing has shown it has
-comparable performance to other EHM's,
+comparable performance to other EHMs,
 which is sufficient for use in current \CFA programs.