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

Timestamp:

Sep 13, 2021, 1:42:07 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

445f984

Parents:

56e5b24 (diff), 63b3279 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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.