blob: 1f610f00e676001717fc93f62ee88bc28f07645c (
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
32
33
34
35
36
37
38
39
40
41
42
43
|
\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 determining properties of a program's
semantics without the need to actually execute the program in question.
%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}
|
