blob: 5116e89a62ce33d14b18bbd26dc8279a83e40f74 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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}
|