Unchanged on method call (1)

if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = obj."append"(el)

then stack at time (t + 1) = stack at time t


Comments

Please log in to add comments