From ec585a127f8f673be9e8a09ee394571b232b1b8d Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 26 Nov 2012 23:34:44 +1100
Subject: Forgot a tex file.
---
tex/thesis/implementation/implementation.tex | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
create mode 100644 tex/thesis/implementation/implementation.tex
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.
--
cgit v1.2.3