diff options
Diffstat (limited to 'tex/lit-review/main.tex')
-rw-r--r-- | tex/lit-review/main.tex | 41 |
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} |