|
2
|
Context-Sensitive Rewriting, Lazy Rewriting, and On-demand Rewriting
– Salvador Lucas
- 2001
|
|
12
|
Lazy Rewriting and Context-Sensitive Rewriting
– Salvador Lucas
- 2002
|
|
|
Contents lists available at ScienceDirect Theoretical Computer Science
– unknown authors
|
|
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
|
|
41
|
Context-Sensitive Rewriting Strategies
– Salvador Lucas
- 1997
|
|
|
On Proving Termination of OBJ Programs with Positive Local Strategies
– Salvador Lucas
|
|
3
|
Completeness and Strictness Analysis for the Evaluation Strategy
– Masaki Nakamura, Kokichi Futatsugi
- 2001
|
|
|
MU-TERM version 1.0 User's manual
– Salvador Lucas
|
|
1
|
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
|
|
33
|
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
|
|
50
|
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
|
|
23
|
Optimal Normalization in Orthogonal Term Rewriting Systems
– Zurab Khasidashvili
- 1993
|
|
20
|
Termination of Rewriting with Strategy Annotations
– Salvador Lucas
- 2001
|
