Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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)
  
 
sav08/octagons_and_relational_analysis.txt · Last modified: 2015/04/21 17:30 (external edit)
 
© EPFL 2018 - Legal notice