summaryrefslogtreecommitdiff
path: root/tex/thesis/implementation/implementation.tex
blob: 2fd41add78743bce2c54ad0763152a4cac5386da (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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.