A Framework for Point-Free Program Transformation
From MaRDI portal
Publication:3623946
DOI10.1007/11964681_1zbMATH Open1236.68025OpenAlexW1816482500MaRDI QIDQ3623946FDOQ3623946
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
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
- 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
- Title not available (Why is that?)
- Strongly typed rewriting for coupled software transformation
- Denotation by Transformation
- A pointless derivation of radix sort
- Algebraic Specialization of Generic Functions for Recursive Types
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)
