Changeset 1689ecf

Timestamp:

Apr 3, 2023, 3:34:01 PM (13 months ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

34b6a7b6, bf0c723

Parents:

9a5a2cd

Message:

fixed citation issue

Location:

doc/theses/colby_parsons_MMAth

Files:

• local.bib (modified) (2 diffs)
• text/channels.tex (modified) (1 diff)

doc/theses/colby_parsons_MMAth/local.bib

@@ -31 +31 @@
 @phdthesis{Delisle22,
 author={{Delisle, Thierry}},
-title={The C∀ Scheduler},
+title={The \textsf{C}$\mathbf{\forall}$ Scheduler},
 year={2022},
 publisher="UWSpace",
@@ -50 +50 @@
 @mastersthesis{Beach21,
 author={{Beach, Andrew James}},
-title={Exception Handling in C∀},
+title={Exception Handling in \textsf{C}$\mathbf{\forall}$},
 year={2021},
 publisher="UWSpace",

doc/theses/colby_parsons_MMAth/text/channels.tex

@@ -79 +79 @@
 Due to Go's asymmetric approach to channel shutdown, separate synchronization between producers and consumers of a channel has to occur during shutdown.
 
-In \CFA, exception handling is an encouraged paradigm and has full language support \cite{}.
-% \cite{Beach21}. 
-TODO: this citation breaks when compiled. 
-Need to fix and insert above
+In \CFA, exception handling is an encouraged paradigm and has full language support \cite{Beach21}.
 As such \CFA uses an exception based approach to channel shutdown that is symmetric for both producers and consumers, and supports graceful shutdown.Exceptions in \CFA support both termination and resumption.Termination exceptions operate in the same way as exceptions seen in many popular programming languages such as \CC, Python and Java.
 Resumption exceptions are a style of exception that when caught run the corresponding catch block in the same way that termination exceptions do.