Anti-unification algorithms and their applications in program analysis

DOI10.1007/978-3-642-11486-1_35MaRDI QIDQ3402293zbMATH OpenOpenAlexFDO

Authors P. E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1aabb45a43

Mathematics Subject Classification ID

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

Recommendations

• On complexity of the anti-unification problem
• Term-graph anti-unification
• Anti-unification in constraint logic programming
• Anti-unification for unranked terms and hedges
• Anti-unification for unranked terms and hedges

Cited in

(10)

• Monads for the formalization of a pattern matching procedure
• Anti-unification for unranked terms and hedges
• Higher-order pattern anti-unification in linear time
• Unranked second-order anti-unification
• A modular order-sorted equational generalization algorithm
• A library of anti-unification algorithms
• Improving program analyses, by structure untupling
• Term-graph anti-unification
• Anti-unification in constraint logic programming
• Global guidance for local generalization in model checking

Describes a project that uses

Uses Software

• CloneDigger

This page was built for publication: Anti-unification algorithms and their applications in program analysis

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