Новости
27 Января, 2025
«Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации
13 Января, 2025
11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева
О некоторых задачах анализа и трансформации программ.
Аннотация
В настоящей статье обсуждаются некоторые перспективные направления исследований, проводимые в отделе компиляторных технологий Института системного программирования РАН. Методы анализа и трансформации программ, ранее применявшиеся в основном в оптимизирующих компиляторах, в настоящее время находят применение при решении множества смежных задач, таких как обеспечение безопасности программ, генерация тестов для программ и т. д.
Издание
Труды Института системного программирования РАН, том 5, 2004, стр. 7-40.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf
