%0 Journal Article
%T КОНТЕКСТНО ЗАВИСИМАЯ ЛИНЕАРИЗАЦИЯ ГРАФА ПОТОКА УПРАВЛЕНИЯ В СТАТИЧЕСКОМ АНАЛИЗЕ СОСТОЯНИЙ ГОНОК В МНОГОПОТОЧНЫХ АЛГОРИТМАХ
%A Битнер, В.А.
%A Тимербаев, Н.Ф.
%K состояние гонки, статический анализ, многопоточные алгоритмы, SSA, оптимизирующий компилятор, LLVM IR, condition of race, static analysis, multiline algorithms, SSA, the optimizing compiler, LLVM IR
%J ВЕСТНИК ТЕХНОЛОГИЧЕСКОГО УНИВЕРСИТЕТА
%D 2025
%N 17
%P 4
%I Казанский национальный исследовательский технологический университет