Differences
This shows you the differences between two versions of the page.
Both sides previous 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 17: | Line 17: | ||
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); | ||
+ | ++++ |