Anti-unification algorithms and their applications in program analysis

DOI10.1007/978-3-642-11486-1_35zbMATH Open1274.68066OpenAlexW1542742023MaRDI QIDQ3402293FDOQ3402293

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

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

Mathematics Subject Classification ID

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

Cited In (10)

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

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)