diff options
Diffstat (limited to 'tex/thesis/main.tex')
-rw-r--r-- | tex/thesis/main.tex | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tex/thesis/main.tex b/tex/thesis/main.tex new file mode 100644 index 0000000..5116e89 --- /dev/null +++ b/tex/thesis/main.tex @@ -0,0 +1,31 @@ +\documentclass{paper} + +\title{Implementing and Evaluating a Strategy-iteration Based Static Analyzer within the LLVM-framework} +\author{Carlo Zancanaro \\ {\tt czan8762@uni.sydney.edu.au}} + +\begin{document} + +\maketitle + +\abstract{Something} + +\section{Introduction} + +\section{Previous Work} +\subsection{Fixpoint Iteration} +\subsection{Policy Iteration} + +\section{Theory} + +\section{Implementation} + +\section{Experimentation} + +\section{Conclusion} + +something \cite{DBLP:tr/trier/MI96-11} + +\bibliographystyle{abbrv} +\bibliography{references.bib} + +\end{document} |