Changeset 315e5e3 for doc/theses/andrew_beach_MMath

Timestamp:

Aug 19, 2021, 3:49:18 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

1a6a6f2, 3a3f396

Parents:

7620e5d

Message:

proofread conclusion chapter

File:

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

doc/theses/andrew_beach_MMath/conclusion.tex

@@ -3 +3 @@
 
 In the previous chapters this thesis presents the design and implementation
-of \CFA's exception handling mechanism (EHM).
+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.
+\CFA's feature set and add a few features that do not exist in other EHMs,
+like conditional catch.
 
 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 implementation has been tested through a set of small but interesting micro-benchmarks
+and compared to other implementations.
 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 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.