Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:semantics_of_array_manipulations [2008/04/08 20:51] vkuncak |
sav08:semantics_of_array_manipulations [2008/04/08 20:51] vkuncak |
||
---|---|---|---|
Line 15: | Line 15: | ||
assert a[i]==1; | assert a[i]==1; | ||
- | One possible model: ++| arrays :: Obj \times Int \to Obj++ | + | One possible model: ++| arrays :: $Obj \times Int \to Obj$ ++ |