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

Timestamp:

Aug 21, 2021, 5:49:45 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

c2a9d88

Parents:

d8f8d08

Message:

Saved and reverted another set of Peter's changes.

File:

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

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
-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.
+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.
 
 The resulting features cover all of the major use cases of the most popular
 termination EHMs of today, along with reintroducing resumption exceptions and
-creating some new features that fit with \CFA's larger programming patterns,
-such as virtuals independent of traditional objects.
+creating some new features that fix with \CFA's larger programming patterns.
 
-The implementation has been tested through a set of small but interesting micro-benchmarks
-and compared to other implementations.
+The implementation has been tested and compared to other implementations.
 The results, while not cutting edge, are good enough for prototyping, which
-is \CFA's current stage of development.
+is \CFA's 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 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.