Lab for Automated Reasoning and Analysis 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: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