Beginning of Lit Review stuff.

1 files changed, 41 insertions, 0 deletions

diff --git a/tex/lit-review/main.tex b/tex/lit-review/main.tex
new file mode 100644
index 0000000..7135d2c
--- /dev/null
+++ b/tex/lit-review/main.tex
@@ -0,0 +1,41 @@
+\documentclass{article}
+
+\usepackage[a4paper]{geometry}
+\usepackage{hyperref}
+\usepackage{amsmath}
+
+\title{INFO5993 \\ Literature Review}
+\author{Carlo Zancanaro}
+
+\begin{document}
+\maketitle
+
+\section{Introduction}
+
+Static analysis is concerned with detemining as many of a program's
+characteristics as is possible without executing the program itself.
+
+Human error $\rightarrow$ bugs.
+It'd be nice if we can automatically test for bugs.
+Static analysis!
+
+
+\section{Abstract Interpretation}
+Came from: \cite{CousotCousot77-1}.
+\subsection{General Framework}
+More in detail about \cite{CousotCousot77-1}.
+\subsection{Abstract Domains}
+Difference-bound matrices \cite{mine:padoII}
+
+Octagon domain \cite{mine:hosc06}
+
+\section{Fixpoints}
+Other test citation: \cite{DBLP:tr/trier/MI96-11}
+
+\section{Strategy Improvement}
+
+\section{Conclusion}
+
+\bibliographystyle{abbrv}
+\bibliography{references.bib}
+\end{document}