A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Extra Variables Can Be Eliminated from Functional Logic Programs
2007
Electronical Notes in Theoretical Computer Science
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
doi:10.1016/j.entcs.2006.05.049
fatcat:2izym37ztzbdvh4z3dmpaatmbu