Specialization of Lazy Functional Logic Programs (1997)

by Maria Alpuente , Moreno Falaschi , Pascual Julián , German Vidal
Venue:IN PROC. OF THE ACM SIGPLAN CONF. ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, PEPM'97, VOLUME 32, 12 OF SIGPLAN NOTICES
Citations:37 - 23 self

Active Bibliography

2 Call-by-Name Partial Evaluation of Functional Logic Programs – M. Alpuente, M. Falaschi, P. Julian, G. Vidal - 1996
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
34 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
15 Specialization of Functional Logic Programs Based on Needed Narrowing – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
4 Cost-Augmented Partial Evaluation of Functional Logic Programs – German Vidal - 2004
Accepted for publication in Theory and Practice of Logic Programming 1 Removing Redundant Arguments Automatically – M. Alpuente, S. Escobar, S. Lucas - 2006
18 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
20 Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages – Elvira Albert, Sergio Antoy, German Vidal - 2001
32 A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages – Elvira Albert, Michael Hanus - 2002
48 Parallel Evaluation Strategies for Functional Logic Languages – Sergio Antoy, Rachid Echahed, Michael Hanus - 1997
5 A Parallel Narrowing Strategy – Sergio Antoy, Rachid Echahed, Michael Hanus - 1996
9 A Partial Evaluation Framework for Curry Programs – Elvira Albert, Maria Alpuente, Michael Hanus, German Vidal - 1999
1 A Practical Method for Program Specialization in a Multi-Paradigm Language – Elvira Albert, Michael Hanus, Germán Vidal - 2000
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
14 Combining Lazy Narrowing and Simplification – Michael Hanus - 1994
Specialization of Functional Logic Programs with Dynamic Scheduling – Elvira Albert, Maria Alpuente, Michael Hanus, German Vidal