Lazy rewriting on eager machinery (2000)

by Wan Fokkink , Pum Walters , Jasper Kamperman
Venue:ACM Transactions on Programming Languages and Systems
Citations:23 - 1 self

Documents Related by Co-Citation

69 Context-Sensitive Computations in Functional and Functional Logic Programs – Salvador Lucas - 1998
30 Termination of on-demand rewriting and termination of OBJ programs – Salvador Lucas - 2001
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
17 The Evaluation Strategy for Head Normal Form With and Without on-Demand Flags – Masaki Nakamura, Kazuhiro Ogata - 2001
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
25 An overview of CAFE specification environment – an algebraic approach for creating, verifying, and maintaining formal specifications over networks – K Futatsugi, A Nakagawa - 1997
153 Definitional Trees – Sergio Antoy - 1992
102 et a!. Principles of OBJ2 – K Futatsugi
28 Term Rewriting with Operator Evaluation Strategy – S Eker - 1998
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
12 Operational semantics of rewriting with the on-demand evaluation strategy, in – K Ogata, K Futatsugi - 2000
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
13 Lazy Rewriting and Context-Sensitive Rewriting – Salvador Lucas - 2002
32 Termination of Context-Sensitive Rewriting – H. Zantema - 1997
25 Transforming Context-Sensitive Rewrite Systems – Jürgen Giesl , Aart Middeldorp - 1999
20 Context-sensitive AC-rewriting – M C F Ferreira, A L Ribeiro - 1999
36 Transformation Techniques for Context-Sensitive Rewrite Systems – Jürgen Giesl, Aart Middeldorp - 2004