Кривой С. . Итеративные методы анализа процедурных программ

Объект исследования: Графовая модель программы - U-Y-схемы программ над памятью. Цель исследования: Разработка общей математической теории для анализа широкого класса реальных программ и алгоритмов и построение эффективных алгоритмов анализа и генерации инвариантных соотношений для таких программ с учетом свойств алгебры данных. Методы исследования и аппаратура: Теория автоматов, общая алгебра, линейная алгебра, математическая логика, теория формальных языков, структур данных и теория графов. Теоретические результаты и новизна: Построена математическая теория статистического анализа программ с одноуровневой памятью и учетом свойств алгебры данных. Разработаны методы и эффективные алгоритмы построения множества инвариантных соотношений для программ. Практические результаты и новизна: Предложена методика оптимизации программного обеспечения, базирующаяся на теории программных инвариантов. Предмет и степень внедрения: Методы диссертации и полученные результаты были частично внедрены в макроконвейерном вычислительном комплексе и в учебном процессе. Эффективность внедрения: Предложенная методика повышает эффективность программного обеспечения в 2-5 раз, а в отдельных случаях и на порядок. Сфера (область) использования: Учебный процесс в ВУЗах.