Extra Variables Can Be Eliminated from Functional Logic Programs

详细信息    查看全文

• 作者：Javier de Dios Castro ; Francisco J. Ló ; pez-Fraguas
• 关键词：Functional logic programs ; extra variables ; program transformation
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2007
• 出版时间：16 July 2007
• 年：2007
• 卷：188
• 期：Complete
• 页码：3-19
• 全文大小：347 K

文摘

Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possibly non strict and non-deterministic functions. While in practice and in some theoretical papers rewrite rules can contain extra variables in right hand sides, some other works and techniques do not consider such possibility. We address in this paper the question of whether extra variables can be eliminated in such kind of functional logic programs, proving the soundness and completeness of an easy solution that takes advantage of the possibility of non-confluence. Although the focus of the paper is mainly theoretical, we give some first steps towards the practical usability of the technique.