Статический анализ высокоуровневых программ

В монографии изложены результаты разработки алгоритмов статического анализа высокоуровневых программ, которая проводилась в рамках проекта «Диалоговый высокоуровневый оптимизирующий распараллеливатель программ и его приложения» (ДВОР) на кафедре Алгебры и дискретной математики факультета Математики, механики и компьютерных наук Южного федерального университета. Преимущества предложенных автором алгоритмов по сравнению с алгоритмами, реализованными в известных коммерческих системах, показаны на реальных программах из наборов тестов SPEC и NAS. Данная книга предназначена для системных программистов.