Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav08:semantics_of_array_manipulations [2008/04/08 20:51] vkuncak |
sav08:semantics_of_array_manipulations [2008/04/08 23:45] (current) 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$ ++ |
+ | What is desugaring of a[i]=x ? | ||
+ | ++++| | ||
+ | array = array((a,i) := x); | ||
+ | ++++ |