Differences

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

--- sav08:unique_references [2008/05/21 10:43]
vkuncak
+++ sav08:unique_references [2008/05/21 10:45] (current)
vkuncak
@@ Line 59: / Line 59: @@
 where
 \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*}