LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:octagons_and_relational_analysis [2008/05/20 23:55]
vkuncak
sav08:octagons_and_relational_analysis [2015/04/21 17:30] (current)
Line 31: Line 31:
  
 For each pair of variables $X$, $Y$, potentially track constraints of the form For each pair of variables $X$, $Y$, potentially track constraints of the form
-\[+\begin{equation*}
     \pm X \pm Y \le c     \pm X \pm Y \le c
-\]+\end{equation*}
 for some constant $c$. for some constant $c$.
  
Line 42: Line 42:
 ===== Reference ===== ===== Reference =====
  
-  * [[http://​www.di.ens.fr/​~mine/​publi/​article-mine-HOSC06.pdf|Octagons paper]] contains motivation for relational analysis+  * [[http://​www.di.ens.fr/​~mine/​publi/​article-mine-HOSC06.pdf|A. Mine: The Octagon Abstract Domain]] (has 90 pages but is easy to read)