Anti−unification algorithms and their applications in program analysis
Peter E. Bulychev‚ Egor V. Kostylev and Vladimir A. Zakharov
Book Title
Proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics (PSI 2009)‚ Novosibirsk‚ Russia‚ June 15−19‚ 2009‚ Revised Papers
Pages
413–423
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5947
Year
2010