Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
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*} | ||