1 | [[wp(A;kind(act);I)]] rho A.ds dec_lookup(A.da;kind(act)) de e x value(act) tappend(mk_trace_env(tr, te);act) [[I]] rho A.ds < > de e x' tappend(mk_trace_env(tr, te);act) |
2 | 25. [[wp(A;kind(act);I)]] rho A.ds dec_lookup(A.da;kind(act)) de e x value(act) tappend(mk_trace_env(tr,
te);act)
[[I]] rho A.ds < > de e x' tappend(mk_trace_env(tr, te);act) [[I]] rho A.ds < > de e x' tappend(mk_trace_env(tr, te);act) |
About: