Новости
О некоторых задачах анализа и трансформации программ.
Аннотация
В настоящей статье обсуждаются некоторые перспективные направления исследований, проводимые в отделе компиляторных технологий Института системного программирования РАН. Методы анализа и трансформации программ, ранее применявшиеся в основном в оптимизирующих компиляторах, в настоящее время находят применение при решении множества смежных задач, таких как обеспечение безопасности программ, генерация тестов для программ и т. д.
Издание
Труды Института системного программирования РАН, том 5, 2004, стр. 7-40.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf![](/bitrix/templates/ispran/images/out_link.png)
![](/bitrix/templates/ispran/images/out_link.png)