Copyright ACM, 2000

next up previous
Next: Introduction

Presented at Programming Languages Track of SAC'2000 in Villa Olmo, Como, Italy

Operational Semantics of Rewriting with the On-demand Evaluation Strategy

Kazuhiro Ogata and Kokichi Futatsugi
Graduate School of Information Science
Tatsunokuchi, Ishikawa 923-1292, JAPAN
{ogata, kokichi}


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.


operational semantics, reduction strategy, the E-strategy, CafeOBJ

Kazuhiro Ogata
Mon Nov 29 13:47:22 JST 1999

Copyright 2000 ACM

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and or fee.
SAC 2000 March 19-21 Como, Italy
(c) 2000 ACM 1-58113-239-5/00/003>...>$5.00