Improving Functional Logic Programs by Difference-Lists (2000)

Cached

Download Links

by Elvira Albert , Cesar Ferri , Frank Steiner , German Vidal
Citations:2 - 0 self

Active Bibliography

A Difference-List Transformation for Functional Logic Languages – Elvira Albert, César Ferri, Frank Steiner, Germán Vidal - 2000
1 A List-Processing Optimizer for Curry – Elvira Albert, César Ferri, Germán Vidal, Frank Steiner - 2000
Automatic Tupling for Functional-Logic Programs – G. Moreno - 2002
A Safe Transformation System for Optimizing Functional Programs – G. Moreno
5 Rules + Strategies for Transforming Lazy Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 2004
3 UPV-Curry: An Incremental Curry Interpreter – M. Alpuente, S. Escobar, S. Lucas - 1999
Accepted for publication in Theory and Practice of Logic Programming 1 Removing Redundant Arguments Automatically – M. Alpuente, S. Escobar, S. Lucas - 2006
3 An Automatic Composition Algorithm for Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 2000
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
15 Specialization of Functional Logic Programs Based on Needed Narrowing – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
34 Overlapping Rules and Logic Variables in Functional Logic Programs – Sergio Antoy, Michael Hanus - 2006
13 A Debugging Scheme for Functional Logic Programs – M. Alpuente, F. J. Correa, M. Falaschi - 2002
5 Improving Offline NarrowingDriven Partial Evaluation using Size-Change Graphs – Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal - 2007
78 Higher-order narrowing with definitional trees – Michael Hanus, Christian Prehofer - 1996
4 Cost-Augmented Partial Evaluation of Functional Logic Programs – German Vidal - 2004
2 Termination of Narrowing via Termination of Rewriting – Naoki Nishida, Germán Vidal
34 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
20 Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages – Elvira Albert, Sergio Antoy, German Vidal - 2001
19 A Transformation System for Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal - 1999