Revision as of 13:46, 11 May 2014 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Example ← Previous edit		Revision as of 13:48, 11 May 2014 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Example: related example deduction to informal C explanation Next edit →
Line 12: : ''select''(''store''(''a'',''i'',''v''),''j'') = (if ''i'' = ''j'' then ''v'' else ''select''(''a'',''j'')) This axiom can be used to deduce<ref group=note>This deduction corresponds to the computation of the value obtained by <code lang="C">a[1]=-1;a[2]=-2;return a[1];</code></ref> ~~This axiom can be used to deduce~~ : ''select''(''store''(''store''(''a'',1,−1),2,−2),1)

Uninterpreted function: Difference between revisions