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 which allow sharing of data is presented. Typical examples of actors with side-effects are the cell, actor counterparts of the LISP function rplaca and rplacd, and procedures whose computation depends upon their input history. Met...