A Transformation System for Lazy Functional Logic Programs

  title={A Transformation System for Lazy Functional Logic Programs},
  author={Mar{\'i}a Alpuente and Moreno Falaschi and Gin{\'e}s Moreno and Germ{\'a}n Vidal},
  booktitle={Fuji International Symposium on Functional and Logic Programming},
Needed narrowing is a complete operational principle for modern declarative languages which integrate the best features of (lazy) functional and logic programming. We deene a transformation methodology for functional logic programs based on needed narrowing. We provide (strong) correctness results for the transformation system w.r.t. the set of computed values and answer substitutions and show that the prominent properties of needed narrowing {namely, the optimality w.r.t. the length of… CONTINUE READING