Compact Normalisation Trace via Lazy Rewriting (2001)

Cached

Download Links

by Quang-Huy Nguyen , Loria Inria
Citations:6 - 0 self

Active Bibliography

2 Context-Sensitive Rewriting, Lazy Rewriting, and On-demand Rewriting – Salvador Lucas - 2001
13 Lazy Rewriting and Context-Sensitive Rewriting – Salvador Lucas - 2002
30 Termination of on-demand rewriting and termination of OBJ programs – Salvador Lucas - 2001
2 Evaluation Strategies for Term Rewriting Systems – Masaki Nakamura - 2002
1 Incremental Needed Narrowing – M. Alpuente, S. Escobar, S. Lucas - 1999
23 Lazy rewriting on eager machinery – Wan Fokkink, Pum Walters, Jasper Kamperman - 2000
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
3 Completeness and Strictness Analysis for the Evaluation Strategy – Masaki Nakamura, Kokichi Futatsugi - 2001
On Proving Termination of OBJ Programs with Positive Local Strategies – Salvador Lucas
MU-TERM version 1.0 User's manual – Salvador Lucas
4 Strategic Computation and Deduction – Claude Kirchner, Florent Kirchner, Hélène Kirchner, Peter B. Andrews - 2009
A constructive decision procedure for equalities modulo AC – Quang Huy Nguyen, Loria Inria
39 Compiling Language Definitions: The ASF+SDF Compiler – M. G. J. van den Brand, J. Heering, P. Klint, P. A. Olivier - 1999
Strategies and Analysis Techniques for Functional Program Optimization – Informaticos Computacion, Jose Meseguer Urbana-champaign, Santiago Escobar Roman, Santiago Escobar Roman, Mara Alpuente Frasnedo, Mara Alpuente Frasnedo, Salvador Lucas Alba, Salvador Lucas Alba - 2003
54 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
1 Transformations of Reduction Systems – Bas Luttik, Bas Luttik, Bas Luttik, Piet Rodenburg, Piet Rodenburg, Piet Rodenburg
21 Termination of Rewriting with Strategy Annotations – Salvador Lucas - 2001
1 Extending Context-Sensitivity in Term Rewriting – Bernhard Gramlich, Felix Schernhammer
2 Termination of Lazy Rewriting Revisited – Felix Schernhammer, Bernhard Gramlich - 2007