A Transformation System for Lazy Functional Logic Programs (1999)

Cached

Download Links

by Maria Alpuente , Moreno Falaschi , Gines Moreno , German Vidal
Citations:19 - 13 self

Active Bibliography

5 Rules + Strategies for Transforming Lazy Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 2004
Transformation-based Strategies for Lazy Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 1999
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
Automatic Tupling for Functional-Logic Programs – G. Moreno - 2002
A Safe Transformation System for Optimizing Functional Programs – G. Moreno
SYNTH User's Manual – Marŕa Alpuente, Cesar Ferri, Germán Vidal, Ginés Moreno, Moreno Falaschi, Ivan Ziliotto - 1999
18 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
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
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
3 Experiments with the Call-by-Value Partial Evaluator – M. Alpuente, M. Falaschi, G. Vidal - 1998
4 Cost-Augmented Partial Evaluation of Functional Logic Programs – German Vidal - 2004
3 An Automatic Composition Algorithm for Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 2000
Using PE to Automate Program Composition – María Alpuente , Moreno Falaschi, et al. - 2000
32 A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages – Elvira Albert, Michael Hanus - 2002
Accepted for publication in Theory and Practice of Logic Programming 1 Removing Redundant Arguments Automatically – M. Alpuente, S. Escobar, S. Lucas - 2006
Programming with Narrowing: a Tutorial – Sergio Antoy
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
34 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002