Changeset 9e43aff for doc/theses/aaron_moss_PhD/phd/type-environment.tex

Timestamp:

Feb 12, 2019, 10:40:29 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

72b20c9

Parents:

0f78f3c7

Message:

thesis: introduce experimental results from prototype

File:

• doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) (2 diffs)

doc/theses/aaron_moss_PhD/phd/type-environment.tex

@@ -68 +68 @@
 \section{Approaches}
 
-\subsection{Na\"{\i}ve}
+\subsection{Na\"{\i}ve} \label{naive-env-sec}
 
 The type environment data structure used in Bilson's~\cite{Bilson03} original implementation of \CFACC{} is a straightforward translation of the definitions in Section~\ref{env-defn-sec} to \CC{} code; a !TypeEnvironment! contains a list of !EqvClass! type equivalence classes, each of which contains the type bound information and a tree-based sorted set of type variables. 
@@ -75 +75 @@
 These improvements do not change the fundamental issues with this data structure, however.
 
-\subsection{Incremental Inheritance}
+\subsection{Incremental Inheritance} \label{inc-env-sec}
 
 One more invasive modification to this data structure which I investigated is to support swifter combinations of closely-related environments in the backtracking tree by storing a reference to a \emph{parent} environment within each environment, and having that environment only store type classes which have been modified with respect to the parent.