diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-05-17 21:16:47 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-05-17 21:16:47 +1000 |
| commit | 95bbe24432182c384d6a2e8f7f5a26d7899f3acb (patch) | |
| tree | 52f1274661986b9649dda5e8054b2554fca959fb | |
| parent | 90e79df7cd4e89e5ed703682aa20bbf920d719ff (diff) | |
Just need to move between computers. Whoo whoo!
| -rw-r--r-- | tex/lit-review/main.tex | 14 |
1 files changed, 8 insertions, 6 deletions
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} |