A Framework for Point-Free Program Transformation

DOI10.1007/11964681_1MaRDI QIDQ3623946zbMATH OpenOpenAlexFDO

Authors Alcino Cunha, Jorge Sousa Pinto, José Proença

Publication date 28 April 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/14350

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Point-free program transformation
• Program transformations in a denotational setting
• A systematic approach to abstract interpretation of program transformations
• Systematic design of program transformation frameworks by abstract interpretation
• scientific article; zbMATH DE number 4106261
• scientific article; zbMATH DE number 1555192
• An Intensional Semantics for Elementary Program Transformations
• On the Proof Theory of Program Transformations
• Extended Static Checking by Calculation Using the Pointfree Transform
• Euro-Par 2004 Parallel Processing

Cited in

(9)

• Data Movement Optimisation in Point-Free Form
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Extended Static Checking by Calculation Using the Pointfree Transform
• Point-free program transformation
• Algebraic specialization of generic functions for recursive types
• scientific article; zbMATH DE number 3970091 (Why is no real title available?)
• Strongly typed rewriting for coupled software transformation
• Denotation by Transformation
• A pointless derivation of radix sort

This page was built for publication: A Framework for Point-Free Program Transformation

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