Forgot a tex file.

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.