Operational semantics of rewriting with the on-demand evaluation strategy
Kazuhiro Ogata, Kockichi Futatsugi · 2000
The on-demand evaluation strategy (abbr.the on-demand E-strategy) is an extension of the evaluation strategy (abbr.the E-strategy) initiated by OBJ2.The strategy removes the restriction that the E-strategy imposes on constructing rewrite rules: if non-variable terms are put on lazy positions in the left sides, some terms cannot be rewritten as intended.We have written the operational semantics of rewriting with the on-demand E-strategy in CafeOBJ so that we can deeply understand rewriting with the on-demand E-strategy.The operational semantics can be used to observe the dynamic behavior of rewriting with the on-demand E-strategy thanks to the executability of CafeOBJ.A hint about the use of the on-demand E-strategy is given as well.