scientific article; zbMATH DE number 2124969

zbMATH Open1086.68027MaRDI QIDQ4832299FDOQ4832299

Authors: Santiago Escobar 

Publication date: 4 January 2005

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (8)

• Data Movement Optimisation in Point-Free Form
• Title not available (Why is that?)
• Title not available (Why is that?)
• Utility Functions: A Compromise Programming Approach to Specification and Optimization
• A higher-order strategy for eliminating common subexpressions
• 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)