[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Assignment Statements

• Ma(x := E, s) =

      s' = {<i1', v1'>, <i2', v2'>, ..., <in',vn'>},
      where for j = 1, 2, ..., n,
          vj' = VARMAP(ij, s)   if   ij /= x
          vj' = Me(E, s)           if   ij = x