summaryrefslogtreecommitdiff
path: root/tex/thesis
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis')
-rw-r--r--tex/thesis/implementation/implementation.tex16
1 files changed, 16 insertions, 0 deletions
diff --git a/tex/thesis/implementation/implementation.tex b/tex/thesis/implementation/implementation.tex
new file mode 100644
index 0000000..2fd41ad
--- /dev/null
+++ b/tex/thesis/implementation/implementation.tex
@@ -0,0 +1,16 @@
+\chapter{Implementation} \label{chap:implementation}
+
+Our implementation of the Demand Driven Strategy improvement algorithm
+presented in Chapter \ref{chap:contribution} is in C++. We chose to
+develop it in C++ for two major reasons:
+\begin{itemize}
+\item
+ C++ provides a programmer with fine-grained control of resources, in
+ particular memory.
+\item
+ The LLVM/Clang framework is written in C++. As integration with
+ LLVM/Clang was always a major goal for this project, C++ was the
+ obvious choice of language.
+\end{itemize}
+
+The solver was developed using only the STL.