Changeset c2a9d88

Timestamp:

Aug 21, 2021, 6:31:09 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

9cd37d9

Parents:

7372065

Message:

Andrew MMath: Folded in Peter's changes to conclusion.

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 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.
+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;
+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
 termination EHMs of today, along with reintroducing resumption exceptions and
-creating some new features that fix with \CFA's larger programming patterns.
+creating some new features that fit with \CFA's larger programming patterns,
+such as virtuals independent of traditional objects.
 
-The implementation has been tested 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 stage of development.
+is \CFA's current stage of development.
 
-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.
+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.