Higher order matching for program transformation

DOI10.1007/10705424_14MaRDI QIDQ2766781zbMATH OpenFDO

Authors Oege de Moor, Ganesh Sittampalam

Publication date 22 July 2002

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

Full work available at URL https://doi.org/10.1007/10705424_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Higher-order matching for program transformation
• Higher-order pattern matching for automatically applying fusion transformations
• Logic Based Program Synthesis and Transformation
• Deterministic second-order patterns
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(8)

• Deterministic second-order patterns
• Program calculation in Coq
• Higher-order Transformations and Type Simulations
• Higher-order pattern matching for automatically applying fusion transformations
• A matching process modulo a theory of categorical products
• Logic for Programming, Artificial Intelligence, and Reasoning
• Logic Based Program Synthesis and Transformation
• Higher-order matching for program transformation

This page was built for publication: Higher order matching for program transformation

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