Changeset 9e43aff for doc/theses/aaron_moss_PhD/phd/type-environment.tex
- Timestamp:
- Feb 12, 2019, 10:40:29 PM (6 years ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/aaron_moss_PhD/phd/type-environment.tex
r0f78f3c7 r9e43aff 68 68 \section{Approaches} 69 69 70 \subsection{Na\"{\i}ve} 70 \subsection{Na\"{\i}ve} \label{naive-env-sec} 71 71 72 72 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. 76 76 77 \subsection{Incremental Inheritance} 77 \subsection{Incremental Inheritance} \label{inc-env-sec} 78 78 79 79 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.
Note: See TracChangeset
for help on using the changeset viewer.