Higher-order matching for program transformation

DOI10.1016/S0304-3975(00)00402-3MaRDI QIDQ5958614zbMATH OpenFDO

Authors Oege de Moor, Ganesh Sittampalam

Publication date 3 March 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00402-3

zbMATH Keywords

automatic program transformation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15)

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

Cites work

• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• A restricted form of higher-order rewriting applied to an HDL semantics
• A second-order pattern matching algorithm for the cube of typed -calculi
• A transformation-based optimiser for Haskell
• Efficient second-order matching
• Higher-order matching and tree automata
• Higher-order unification via combinators
• Higher-order unification, polymorphism, and subsorts
• scientific article; zbMATH DE number 2185677 (Why is no real title available?)
• More efficient bottom-up multi-pattern matching in trees
• Program development by specification and transformation. The PROSPECTRA methodology, language family, and system
• Proving and applying program transformations expressed with second-order patterns
• The Clausal Theory of Types
• The promotion and accumulation strategies in transformational programming
• Viewing a program transformation system at work (abstract)

Cited in

(10)

• Deterministic second-order patterns
• A survey of strategies in rule-based program transformation systems
• Higher order matching for program transformation
• A survey of rewriting strategies in program transformation systems
• Algebra of Programming Using Dependent Types
• 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

Describes a project that uses

Uses Software

• ELAN
• Haskell

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 Q5958614)