Changeset d8f8d08 for doc/theses/andrew_beach_MMath/conclusion.tex

Timestamp:

Aug 21, 2021, 5:39:14 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum

Children:

7372065

Parents:

1a6a6f2 (diff), e56eabac (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' into 'andrew-mmath', collecting Peter's updates.

File:

• doc/theses/andrew_beach_MMath/conclusion.tex (modified) (1 diff)

doc/theses/andrew_beach_MMath/conclusion.tex

@@ -3 +3 @@
 % Just a little knot to tie the paper together.
 
-In the previous chapters this thesis presents the design and implementation
-of \CFA's EHM.
-Both the design and implementation are based off of tools and techniques
-developed for other programming languages but they were adapted to better fit
-\CFA's feature set and add a few features that do not exist in other EHMs,
-like conditional catch.
+In the previous chapters this thesis presents the design and implementation of
+\CFA's EHM.  Both the design and implementation are based off of tools and
+techniques developed for other programming languages but they were adapted to
+better fit \CFA's feature set and add a few features that do not exist in other
+EHMs, like conditional catch, default handlers, implicitly changing resumption
+into termination in the resumption default handler, and cancellation through
+coroutines and threads back to program main.
 
 The resulting features cover all of the major use cases of the most popular