Next: Two Rule Constructors Up: Update Instructions Previous: Update Instructions

Semantics

To execute R at an appropriate state S , fire the update [alpha] = (l,y) at S , where l=(f,Val_S([t])) and y = Val_S(t0) . For future reference define Updates(R,S) = {[alpha]}.

huggins@acm.org
Thu Mar 23 17:30:35 EST 1995