Transformation Rules and Strategies for Functional-Logic Programs

AI Communications

Volumn 15, Issue 2, 2002, Pages 163-165

  Moreno, Ginés ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fold unfold; Functional logic programming; Program transformation

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA STRUCTURES; HEURISTIC METHODS; SEMANTICS;

FUNCTIONAL LOGIC PROGRAMMING;

LOGIC PROGRAMMING;

EID: 0036329499     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Un sistema de transformación para programas multiparadigma
2. Safe folding/unfolding with conditional narrowing
3. A transformation system for lazy functional logic programs
4. An automatic composition algorithm for functional logic programs
5. Definitional trees
6. A transformation system for developing recursive programs
7. Towards an automated tupling strategy
8. Unfold/fold transformation of logic programs
9. Curry: A truly functional logic language
10. Logic programming with functions and predicates: The language babel
11. Rules and strategies for transforming functional and logic programs
12. Total correctness by local improvement in the transformation of functional programs
13. Unfold/fold transformations of logic programs