diff options
| -rw-r--r-- | tex/lit-review/Makefile | 8 | ||||
| -rw-r--r-- | tex/lit-review/main.tex | 41 | ||||
| -rw-r--r-- | tex/lit-review/references.bib | 58 |
3 files changed, 107 insertions, 0 deletions
diff --git a/tex/lit-review/Makefile b/tex/lit-review/Makefile new file mode 100644 index 0000000..66eb399 --- /dev/null +++ b/tex/lit-review/Makefile @@ -0,0 +1,8 @@ +all: + pdflatex main.tex + bibtex main + pdflatex main.tex + pdflatex main.tex + +clean: + rm -f *.bbl *.aux *.blg *.log *.pdf *.out 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} diff --git a/tex/lit-review/references.bib b/tex/lit-review/references.bib new file mode 100644 index 0000000..c21a7b8 --- /dev/null +++ b/tex/lit-review/references.bib @@ -0,0 +1,58 @@ +@article{DBLP:tr/trier/MI96-11, + author = {Christian Fecht and + Helmut Seidl}, + title = {An Even Faster Solver for General Systems of Equations}, + journal = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht}, + volume = {96-11}, + year = {1996}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} +@inproceedings{CousotCousot77-1, + author = {Cousot, P{.} and Cousot, R{.}}, + title = {Abstract interpretation: a unified lattice model for static + analysis of programs by construction or approximation of + fixpoints}, + pages = {238--252}, + booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT + Symposium on Principles of Programming Languages}, + address = {Los Angeles, California}, + publisher = {ACM Press, New York, NY}, + year = 1977, +} +@article{mine:hosc06, + author = {Min\'e, A{.}}, + title = {The Octagon Abstract Domain}, + journal = {Higher-Order and Symbolic Computation}, + editor = {O. Danvy}, + publisher = {Springer}, + year = {2006}, + volume = {19}, + number = {1}, + pages = {31--100}, + note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}} +} +@inproceedings{mine:padoII, + author = {Min\'e, A{.}}, + title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices}, + booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)}, + series = {Lecture Notes in Computer Science}, + year = {2001}, + month = {May}, + pages = {155--172}, + volume = {2053}, + publisher = {Springer}, + location = {Aarhus, Danemark}, + note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}} +} +@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05, + author = {Sriram Sankaranarayanan and + Henny B. Sipma and + Zohar Manna}, + title = {Scalable Analysis of Linear Systems Using Mathematical Programming}, + booktitle = {VMCAI}, + year = {2005}, + pages = {25-41}, + ee = {http://dx.doi.org/10.1007/978-3-540-30579-8_2}, + crossref = {DBLP:conf/vmcai/2005}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} |