Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:introduction_to_pointer_analysis [2008/05/21 10:41] vkuncak |
sav08:introduction_to_pointer_analysis [2008/05/21 10:42] vkuncak |
||
---|---|---|---|
Line 94: | Line 94: | ||
How we can describe this semantically? (Recall verification condition generation in the presence of structures): we can view functions as arrays: | How we can describe this semantically? (Recall verification condition generation in the presence of structures): we can view functions as arrays: | ||
- | <code java> | + | |
+ | <code> | ||
f[x] = 3; | f[x] = 3; | ||
f[p] = 4; | f[p] = 4; |