%0 Journal Article
%T 
%A Bitner, V.А.
%A Timerbaev, N.F.
%K состояние гонки, статический анализ, многопоточные алгоритмы, SSA, оптимизирующий компилятор, LLVM IR, condition of race, static analysis, multiline algorithms, SSA, the optimizing compiler, LLVM IR
%J Herald of Technological University
%D 2025
%N 17
%P 4
%I Kazan National Research Technological University