Point-free program transformation

MaRDI QIDQ5472878zbMATH OpenFDO

Authors Alcino Cunha, Jorge Sousa Pinto

Publication date 19 June 2006

zbMATH Keywords

equational reasoningFunctional programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• A Framework for Point-Free Program Transformation
• scientific article; zbMATH DE number 2036330
• Concatenate, reverse and map vanish for free
• scientific article; zbMATH DE number 2087343
• scientific article; zbMATH DE number 1808202

Cited in

(16)

• Swapping Arguments and Results of Recursive Functions
• 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
• Manipulating accumulative functions by swapping call-time and return-time computations
• Constraint-aware schema transformation
• Data structures and program transformation
• Point-free substitution
• Pointfree expression and calculation: From quantification to temporal logic
• A Framework for Point-Free Program Transformation
• Denotation by Transformation
• scientific article; zbMATH DE number 3898204 (Why is no real title available?)
• Concatenate, reverse and map vanish for free
• scientific article; zbMATH DE number 1808202 (Why is no real title available?)
• A pointless derivation of radix sort
• The promotion and accumulation strategies in transformational programming

This page was built for publication: Point-free program transformation

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