Begin Get Attribute (2)
if the following are true:
- expression state at time t = "begin_expr"
- the expression at time t = obj.attr
then parent stack at time (t + 1) = [ obj.attr, parent stack at time t ]
Comments
Please log in to add comments
if the following are true:
then parent stack at time (t + 1) = [ obj.attr, parent stack at time t ]
Please log in to add comments