Улучшение алгоритмов проверки эквивалентности операторных программ при помощи анализа весов вершиндоклад на конференции