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

Timestamp:

Aug 29, 2021, 11:46:13 AM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

75f8e04

Parents:

1d402be (diff), cfbab07 (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 'andrew-mmath' into 'master', latest round of updates to the thesis.

File:

• doc/theses/andrew_beach_MMath/conclusion.tex (modified) (2 diffs)

doc/theses/andrew_beach_MMath/conclusion.tex

@@ -1 +1 @@
 \chapter{Conclusion}
+\label{c:conclusion}
 % 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
+In the previous chapters this thesis presents the design and implementation
+of \CFA's exception handling mechanism (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.
+better fit \CFA's feature set and add a few features that do not exist in
+other EHMs;
+including conditional matching, default handlers for unhandled exceptions
+and cancellation though coroutines and threads back to the program main stack.
 
 The resulting features cover all of the major use cases of the most popular
@@ -15 +17 @@
 such as virtuals independent of traditional objects.
 
-The implementation has been tested through a set of small but interesting micro-benchmarks
-and compared to other implementations.
+The \CFA project's test suite has been expanded to test the EHM.
+The implementation's performance has also been
+compared to other implementations with a small set of targeted
+micro-benchmarks.
 The results, while not cutting edge, are good enough for prototyping, which
 is \CFA's current stage of development.
 
-This initial EHM is a valuable new feature for \CFA in its own right but also serves
-as a tool and motivation for other developments in the language.
+This initial EHM will bring valuable new features to \CFA in its own right
+but also serves as a tool and motivation for other developments in the
+language.