Anti-unification for unranked terms and hedges

DOI10.4230/LIPICS.RTA.2011.219MaRDI QIDQ5389083zbMATH OpenOpenAlexFDO

Authors Temur Kutsia, Jordi Levy, Mateu Villaret

Publication date 24 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_495d.html

zbMATH Keywords

anti-unificationgeneralizationhedgessoftware clonesunranked terms

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Anti-unification for unranked terms and hedges
• Unranked second-order anti-unification
• Unranked second-order anti-unification
• A library of anti-unification algorithms
• Anti-unification in constraint logic programming

Cited in

(9)

• Anti-unification for unranked terms and hedges
• Unranked second-order anti-unification
• A modular order-sorted equational generalization algorithm
• Unranked second-order anti-unification
• A library of anti-unification algorithms
• Anti-unification algorithms and their applications in program analysis
• Term-graph anti-unification
• Anti-unification in constraint logic programming
• Anti-unification of unordered goals

Describes a project that uses

Uses Software

• CloneDigger

This page was built for publication: Anti-unification for unranked terms and hedges

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