S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776--822, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) Self-citation (Hanus) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages, Portland, pages 268-279, 1994.
A Practical Partial Evaluation Scheme for Multi-Paradigm.. - Albert, Hanus, Vidal (2002) Self-citation (Hanus) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776-822, 2000.
Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) Self-citation (Hanus) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages, Portland, pages 268--279, 1994. 37
Constructor-based Conditional Narrowing - Antoy (2001) (7 citations) Self-citation (Antoy) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776--822, July 2000.
Programming with Narrowing - Sergio Antoy Computer Self-citation (Antoy) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776--822, July 2000.
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) Self-citation (Antoy Hanus) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal ACM, 47(4):776--822, 2000.
Functional Logic Design Patterns - Antoy, Hanus (2002) (1 citation) Self-citation (Antoy Hanus) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776--822, 2000.
Constraints, Predicates, Functions and a Turtle - Frank, Grabmüller, Hofstedt.. (2003) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776--822, 2000.
Multiple Evaluation Strategies for the Multiparadigm.. - Hofstedt, Metzner (2003) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776--822, July 2000.
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages, Portland, pages 268--279, 1994. 2 For simplicity, we have omitted the rules that reduce functions to false. We have used the simplification and eager variable elimination [23] rules in order to get better specialization. 67
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages, Portland, pages 268--279, 1994.
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (2 citations) (Correct)
No context found.
) Antoy S., Echahed R., and Hanus M., "A Needed Narrowing Strategy," Journal of the ACM, 47, 4, pp. 776--822, 2000.
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Journal of the ACM, volume 47(4), pages 776--822, 2000.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. POPL'94, pages 268--279, ACM, New York, 1994.
Refining Weakly Outermost-Needed Rewriting and Narrowing - Escobar (2003) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Journal of the ACM, volume 47(4), pages 776--822, 2000.
Model Based Testing with Constraint Logic Programming.. - Pretschner, Lötzbeyer (2001) (1 citation) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages (POPL'94), pages 268--279, 1994.
Constraints, Predicates, Functions and a Turtle - Frank, Grabmüller, Hofstedt.. (2003) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776--822, 2000.
On Modularity in Term Rewriting and Narrowing - Prehofer (1994) (4 citations) (Correct)
No context found.
S. Antoy,R.Echahed, and M. Hanus. A needed narrowing strategy. In Proc. 21st ACM Symposium on Principles of Programming Languages, pages268--27 Portland, 1994.
Implementing Natural Rewriting and Narrowing Efficiently - Escobar (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Journal of the ACM, 47(4):776-822, 2000.
Embedding Processes in a Declarative Programming Language .. - Braßel, Hanus, Steiner (2001) (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776-822, 2000. Previous version in Proc. 21st ACM Symposium on Principles of Programming Languages, pp. 268-279, 1994.
A Memoizing Semantics for - Functional Logic Languages (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Journal of the ACM (JACM), volume 47, pages 776--822. ACM Press New York, NY, USA, 2000.
Improving Deterministic Computations in Lazy Functional.. - Caballero, Lopez-Fraguas (Correct)
No context found.
S. Antoy, R. Echahed and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM Vol. 47, no. 4, 2000, 776-822.
Strategies and Analysis Techniques in Functional Program.. - Escobar (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Journal of the ACM, volume 47(4), pages 776--822, 2000.
Solving Equations by Graph Transformation - Habel, Plump (2001) (Correct)
No context found.
Antoy, S., R. Echahed and M. Hanus, A needed narrowing strategy, Journal of the ACM 47 (2000), pp. 776-822.
An Open System to Support Web-based Learning (Extended Abstract) - Hanus, Huch (Correct)
No context found.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776-822, 2000.
First 50 documents Next 50
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