Higher-order pattern matching for automatically applying fusion transformations

DOI10.1007/3-540-44978-7_13MaRDI QIDQ4529780zbMATH OpenFDO

Authors Ganesh Sittampalam, Oege de Moor

Publication date 6 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2053/20530218

Mathematics Subject Classification ID

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

Recommendations

• Higher order matching for program transformation
• Higher-order matching for program transformation
• Logic Based Program Synthesis and Transformation
• Deterministic second-order patterns
• Higher-order Transformations and Type Simulations

Cited in

(6)

• Deterministic second-order patterns
• Discovering applications of higher order functions through proof planning
• Higher order matching for program transformation
• Higher-order associative commutative pattern matching for component retrieval
• Logic Based Program Synthesis and Transformation
• Higher-order matching for program transformation

This page was built for publication: Higher-order pattern matching for automatically applying fusion transformations

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