Copyright ACM, 2000
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
JAIST
Tatsunokuchi, Ishikawa 923-1292, JAPAN
{ogata, kokichi}@jaist.ac.jp
Abstract:
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.
Keywords:
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