From ec585a127f8f673be9e8a09ee394571b232b1b8d Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro 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') 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