Электронный каталог

Статья

Андрианов, С.А.
Верификация корректности оптимизирующих преобразований программы относительно требований к согласованности памяти / С.А.Андрианов, [и др.] // Программирование. – 2025. – № 5. – С. 11-21. – URL: https://doi.org/10.7868/S3034584725050023. – Библиогр.: 8.



Спец.(статьи,препринты) = Ц 840 - Программирование. Общие вопросы