• English only

# Differences

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

sav08:octagons_and_relational_analysis [2008/05/20 23:56]
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]] has 90 pages but is easy to read+  * [[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)