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

Functional and logic programmingprogram analysis and transformationrewriting (narrowing) strategiesterm rewriting systems

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

(10)

• A higher-order strategy for eliminating common subexpressions
• Optimizing structural recursion in functional programs
• Data Movement Optimisation in Point-Free Form
• scientific article; zbMATH DE number 4043221 (Why is no real title available?)
• Utility Functions: A Compromise Programming Approach to Specification and Optimization
• scientific article; zbMATH DE number 1118872 (Why is no real title available?)
• scientific article; zbMATH DE number 756053 (Why is no real title available?)
• scientific article; zbMATH DE number 2090113 (Why is no real title available?)
• Rethinking supercompilation
• 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)