Unfold/fold transformations and loop optimization of logic programs
- 1 June 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 23 (7) , 297-307
- https://doi.org/10.1145/53990.54020
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Prolog program transformations and tree manipulation algorithmsThe Journal of Logic Programming, 1985
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- Recursion is more efficient than iterationPublished by Association for Computing Machinery (ACM) ,1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Some Techniques for Recursion Removal from Recursive FunctionsACM Transactions on Programming Languages and Systems, 1982
- A System for Assisting Program TransformationACM Transactions on Programming Languages and Systems, 1982
- Transformations of FP program schemesPublished by Association for Computing Machinery (ACM) ,1981
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977