Anti-pattern Matching

DOI10.1007/978-3-540-71316-6_9MaRDI QIDQ5756490zbMATH OpenOpenAlexFDO

Authors Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_9

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Searching and sorting (68P10) Nonnumerical algorithms (68W05)

Recommendations

• Anti-patterns for rule-based languages
• Anti-pattern Matching Modulo
• Higher-order equational pattern anti-unification
• Matching in description logics
• Higher-order pattern anti-unification in linear time

Cited in

(5)

• Term-graph rewriting in \textsc{Tom} using relative positions
• Tree Automata with Global Constraints
• Anti-pattern Matching Modulo
• Aspects preserving properties
• Anti-patterns for rule-based languages

This page was built for publication: Anti-pattern Matching

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