Meta-evaluation of Actors with Side-effects (opens in new tab)

Meta-evaluation of Actors with Side-effects Yonezawa, Akinori Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. Meta-evaluation of actors with side-effects is carried out by using situational tags which denotes a situation (local state of an actor systems at the moment of the transmissions of messages). And also it is illustra...