TAL Program States

• Labels l, registers r

• Word values w, heap values h

• PS=(TH,VH,S,R,I)

  • Type heap, value heap, stack, register file, program counter

• TH={l1=k1.t1, …, ln=kn.tn}

• VH={l1=t1.h1, …, ln=tn.hn}

• R={r1=w1, …, rn=wn}

• S = w1::…::wn::se

Previous slide

Next slide

Back to first slide

View graphic version