Deterministic second-order patterns

DOI10.1016/J.IPL.2003.12.008zbMath1178.68140OpenAlexW2109480605MaRDI QIDQ1029104

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi

Publication date: 9 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2003.12.008

zbMATH Keywords

program transformationfunctional programmingprogram derivationfusion transformationsecond-order pattern matching

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Functions-as-constructors higher-order unification: extended pattern unification ⋮ Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL

Uses Software

• Haskell

Cites Work

• Proving and applying program transformations expressed with second-order patterns
• The complexity of linear and stratified context matching problems
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• Efficient second-order matching
• Higher-order matching for program transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deterministic second-order patterns