Anti-unification Algorithms and Their Applications in Program Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov. Anti-unification Algorithms and Their Applications in Program Analysis. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 413-423, Springer, 2009. [doi]

This author has not been identified. Look up 'Peter E. Bulychev' in GoogleThis author has not been identified. Look up 'Egor V. Kostylev' in GoogleThis author has not been identified. Look up 'Vladimir A. Zakharov' in Google

runs on WebDSL