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

(limited to '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

