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 List-Processing Optimizations in Curry – Elvira Albert, César Ferri, Frank Steiner, Germán Vidal - 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
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
4 Rules + Strategies for Transforming Lazy Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 2004
A Safe Transformation System for Optimizing Functional Programs – G. Moreno
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001