scientific article; zbMATH DE number 2124969

MaRDI QIDQ4832299zbMATH OpenFDO

Authors Santiago Escobar

Publication date 4 January 2005

Full work available at URL http://iospress.metapress.com/link.asp?id=a5e3nlc7k0nd4baw

zbMATH Keywords

term rewriting systemsFunctional and logic programmingprogram analysis and transformationrewriting (narrowing) strategies

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1118872
• scientific article; zbMATH DE number 2032417
• Optimizing structural recursion in functional programs
• Building program optimizers with rewriting strategies
• Rethinking supercompilation

Cited in

(8)

• Data Movement Optimisation in Point-Free Form
• scientific article; zbMATH DE number 4043221 (Why is no real title available?)
• A higher-order strategy for eliminating common subexpressions
• Utility Functions: A Compromise Programming Approach to Specification and Optimization
• scientific article; zbMATH DE number 2090113 (Why is no real title available?)
• Rethinking supercompilation
• Optimizing structural recursion in functional programs
• Analysis of program optimization possibilities and further development

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4832299)