A List-Processing Optimizer for Curry (2000) [2 citations — 2 self]
Download:
|
|
by Elvira Albert, Frank Steiner
In Proceedings of the 9th Intl. Workshop on Functional and Logic Programming
http://www.dsic.upv.es/~wflp2000/paper20.ps.gz
Add To MetaCart
Abstract:
Abstract. The multi-paradigm language Curry integrates features from functional, logic, and concurrent programming. In this work, we consider two well-known listprocessing optimizations: short cut deforestation (from functional programming) and difference-lists (from logic programming), and study their adaptation to our integrated setting. While short cut deforestation adapts smoothly, the use of differencelists in Curry is impractical due to the absence of non-strict equality in the language. Despite all, we have developed a novel transformation which achieves a similar effect over functional logic programs. Both transformations combined together yield a simple and practical method for optimizing list-processing programs. 1
