Anti-unification Algorithms and Their Applications in Program Analysis

DOI10.1007/978-3-642-11486-1_35zbMath1274.68066OpenAlexW1542742023MaRDI QIDQ3402293

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)

Related Items

Higher-order pattern anti-unification in linear time, Unranked second-order anti-unification, A Library of Anti-unification Algorithms, A modular order-sorted equational generalization algorithm, Monads for the formalization of a pattern matching procedure, Anti-unification for unranked terms and hedges

Uses Software

• CloneDigger