ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Theoretical Computer Science
Volume 311, Issues 1-3, 23 January 2004, Pages 479-525
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (575 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.tcs.2003.10.033    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2003 Elsevier B.V. All rights reserved.

Rules + strategies for transforming lazy functional logic programs*1, , *2

María AlpuenteE-mail The Corresponding Author, a, Moreno FalaschiE-mail The Corresponding Author, b, Ginés MorenoCorresponding Author Contact Information, E-mail The Corresponding Author, c and Germán VidalE-mail The Corresponding Author, a

a DSIC, UPV, Camino de Vera s/n, 46022, Valencia, Spain b Dip. Mat. e Informatica, U. Udine, 33100, Udine, Italy c Dep. Informática, UCLM, 02071, Albacete, Spain

Received 2 October 2002; 
revised 14 October 2003; 
accepted 14 October 2003. ;
Available online 21 November 2003.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

This work introduces a transformation methodology for functional logic programs based on needed narrowing, the optimal and complete operational principle for modern declarative languages which integrate the best features of functional and logic programming. We provide 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 derivations and the number of computed solutions—carry over to the transformation process and the transformed programs. We illustrate the power of the system by taking on in our setting two well-known transformation strategies (composition and tupling). We also provide an implementation of the transformation system which, by means of some experimental results, highlights the potentiality of our approach.

Author Keywords: Program transformation; Functional logic programming; Strategies


Theoretical Computer Science
Volume 311, Issues 1-3, 23 January 2004, Pages 479-525
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.