# 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) Both sides previous revision Previous revision 2008/05/20 23:57 vkuncak 2008/05/20 23:56 vkuncak 2008/05/20 23:55 vkuncak 2008/05/20 23:51 vkuncak 2008/05/20 16:23 vkuncak created Next revision Previous revision 2008/05/20 23:57 vkuncak 2008/05/20 23:56 vkuncak 2008/05/20 23:55 vkuncak 2008/05/20 23:51 vkuncak 2008/05/20 16:23 vkuncak created 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)