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:unique_references [2008/05/21 10:43]
vkuncak
sav08:unique_references [2008/05/21 10:45] (current)
vkuncak
Line 59: Line 59:
 where where
 \begin{equation*} \begin{equation*}
-  \mbox{pointsTo}(x,​f,​y) = (x.f=y\ \lor\ (x=\mbox{stackFrames} \land f \in \mbox{localVars})\ \lor\ x=\mbox{GLOBAL} \land f \in \mbox{globalVars}))+  \mbox{pointsTo}(x,​f,​y) = (x.f=y\ \lor\ (x \in \mbox{stackFrames} \land f \in \mbox{localVars} ​\land \ldots)\ \lor\ x \in \mbox{GLOBAL} \land f \in \mbox{globalVars} ​\land \ldots))
 \end{equation*} \end{equation*}
  
 
sav08/unique_references.txt · Last modified: 2008/05/21 10:45 by vkuncak
 
© EPFL 2018 - Legal notice