О некоторых задачах анализа и трансформации программ.

О некоторых задачах анализа и трансформации программ.

С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова.

Abstract

В настоящей статье обсуждаются некоторые перспективные направления исследований, проводимые в отделе компиляторных технологий Института системного программирования РАН. Методы анализа и трансформации программ, ранее применявшиеся в основном в оптимизирующих компиляторах, в настоящее время находят применение при решении множества смежных задач, таких как обеспечение безопасности программ, генерация тестов для программ и т. д.

Edition

Proceedings of the Institute for System Programming, vol. 5 (in Russian), 2004, Стр. 7-40.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

For citation

С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. . Proceedings of the Institute for System Programming, vol. 5 (in Russian), 2004, Стр. 7-40. .

Full text of the paper in pdf (in Russian) Back to the contents of the volume