Sergio Antoy, Salvador Lucas  Home/Search
Context Related
| dsic.upv.es/users/elp/be...wflp02.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsic.upv.es/users/elp/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The traditional investigation of rewriting and narrowing strategies aims at establishing fundamental properties, such as soundness, completeness and/or optimality, of a strategy. In this work, we analyze and compare rewriting and narrowing strategies from the point of view of the information taken into account by a strategy to compute a step. The notion of demandness provides a suitable framework for presenting and comparing well-known strategies. We find the existence of an almost... (Update)
Similar documents based on text: More All
2.2: Demandness in Rewriting and Narrowing - Antoy, Lucas (2002) (Correct)
0.5: Parallel Evaluation Strategies for Functional Logic Languages - Antoy, Echahed, Hanus (1997) (Correct)
0.5: Simple Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002) (Correct)
BibTeX entry: (Update)
S. Antoy and S. Lucas. Demandness in rewriting and narrowing. In M. Comini and M. Falaschi, editors, Proc. of the 11th Int'l Workshop on Functional and (Constraint) Logic Programming WFLP'02, volume 76 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2002. http://citeseer.ist.psu.edu/antoy02demandness.html More
@misc{ antoy02demandness,
author = "S. Antoy and S. Lucas",
title = "Demandness in rewriting and narrowing",
text = "S. Antoy and S. Lucas. Demandness in rewriting and narrowing. In M. Comini
and M. Falaschi, editors, Proc. of the 11th Int'l Workshop on Functional
and (Constraint) Logic Programming WFLP'02, volume 76 of Electronic Notes
in Theoretical Computer Science. Elsevier Sciences Publisher, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/antoy02demandness.html" }
Citations (may not include all citations):171 A needed narrowing strategy - Antoy, Echahed et al. - 2000
89 Curry: An Integrated Functional Logic Language (context) - Hanus - 2000
78 A demand driven computation strategy for lazy narrowing - Loogen, Fraguas et al. - 1993
66 Definitional trees - Antoy - 1992
44 Programming in equational logic: Beyond strong sequentiality - Sekar, Ramakrishnan - 1993
38 Context-sensitive computations in functional and functional .. - Lucas - 1998
35 Logic programming with functions and predicates: The languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
31 Specialization of lazy functional logic programs - Alpuente, Falaschi et al. - 1997
26 Parallel evaluation strategies for functional logic language.. - Antoy, Echahed et al. - 1997
24 Optimal non-deterministic functional logic computations - Antoy - 1997
23 Termination of on-demand rewriting and termination of OBJ pr.. - Lucas - 2001
21 ACM Transactions on Programming Languages and Systems (context) - Fokkink, Kamperman et al. - 2000
19 Context-sensitive rewriting strategies - Lucas
19 Computing in Systems Described by Equations (context) - O'Donnell - 1977
12 Computations in orthogonal term rewriting systems (context) - Huet, L'evy - 1991
[Article contains additional citations not shown here]
Documents on the same site (http://www.dsic.upv.es/users/elp/papers.html): More
SYNTH User's Manual - Alpuente, Ferri, Vidal, Moreno, al. (1999) (Correct)
Reconfigurable Nets, a Class of High Level Petri Nets.. - Badouel, Oliver (1998) (Correct)
UPV-Curry User's Manual - Escobar, Alpuente, Lucas (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC