Semantik och programteori 29 Exempel execute C 5 e 0 s 3 = execute C 4 e 0 (let variable var = identify p e 0 in update-variable(s 3, var, integer 1) ) identify p e 0 = find (e 0, p ) = find (overlay (bind ( n, variable (primitiv-variable l 0 )), bind ( p, variable (primitiv-variable l 1 ))), p ) = find (bind ( p, variable (primitiv-variable l 1 )), p ) = variable (primitiv-variable l 1 ))
{}