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

1 A List-Processing Optimizer for Curry – Elvira Albert, César Ferri, Germán Vidal, Frank Steiner - 2000
A Difference-List Transformation for Functional Logic Languages – Elvira Albert, César Ferri, Frank Steiner, Germán Vidal - 2000
Automatic Tupling for Functional-Logic Programs – G. Moreno - 2002
A Safe Transformation System for Optimizing Functional Programs – G. Moreno
4 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
2 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
35 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
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
20 Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages – Elvira Albert, Sergio Antoy, German Vidal - 2001
33 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
18 A Transformation System for Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal - 1999
23 A Deterministic Lazy Narrowing Calculus – Aart Middeldorp, Satoshi Okui - 1998
12 Conditional Narrowing without Conditions – Bernd Brassel, Michael Hanus - 2003
Transformation-based Strategies for Lazy Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 1999