From 95bbe24432182c384d6a2e8f7f5a26d7899f3acb Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Thu, 17 May 2012 21:16:47 +1000 Subject: Just need to move between computers. Whoo whoo! --- tex/lit-review/main.tex | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'tex/lit-review') diff --git a/tex/lit-review/main.tex b/tex/lit-review/main.tex index 7135d2c..1f610f0 100644 --- a/tex/lit-review/main.tex +++ b/tex/lit-review/main.tex @@ -12,12 +12,15 @@ \section{Introduction} -Static analysis is concerned with detemining as many of a program's -characteristics as is possible without executing the program itself. +Static analysis is concerned with determining properties of a program's +semantics without the need to actually execute the program in question. -Human error $\rightarrow$ bugs. -It'd be nice if we can automatically test for bugs. -Static analysis! +%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} @@ -26,7 +29,6 @@ Came from: \cite{CousotCousot77-1}. More in detail about \cite{CousotCousot77-1}. \subsection{Abstract Domains} Difference-bound matrices \cite{mine:padoII} - Octagon domain \cite{mine:hosc06} \section{Fixpoints} -- cgit v1.2.3