Operational semantics of rewriting with the on-demand evaluation strategy

@inproceedings{Ogata2000OperationalSO,
  title={Operational semantics of rewriting with the on-demand evaluation strategy},
  author={K. Ogata and K. Futatsugi},
  booktitle={SAC '00},
  year={2000}
}
The on-demand evaluation strategy (abbr. the on-demand E-strategy) is an extension of the evaluation strategy (abbr. the E-strategy) init iated 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… Expand
25 Citations
On-demand Evaluation for Maude
  • 12
  • Highly Influenced
  • PDF
On-Demand Strategy Annotations Revisited
  • 2
  • PDF
Compact Normalisation Trace via Lazy Rewriting
  • Q. Nguyen
  • Computer Science, Mathematics
  • Electron. Notes Theor. Comput. Sci.
  • 2001
  • 13
On-demand Evaluation by Program Transformation
  • 6
...
1
2
3
...