РЕАЛИЗАЦИЯ ПРОЦЕССОРА ОПТИМИЗАЦИИ КАК ИНСТРУМЕНТА СЕМАНТИЧЕСКИХ ПРЕОБРАЗОВАНИЙ ПРОГРАММ
Ключевые слова:
Процессор оптимизации, формальная семантика, инструментальные средства, статический анализАннотация
Рассматриваются вопросы (автоматизации) создания процессоров оптимизации, и соответственно, исследования в области семантического анализа программ, позволяющие автоматизировать процессы создания инструментов преобразований, а также программные средства, обеспечивающие работу предложенных методов анализа. Инструменты могут значительно различаться, например, по характеристикам анализа, возможностями применения, обнаружению дефектов (полноте), точности и скорости поиска и другим. Рассмотрена сфера применения методов формальной семантики для разработки и реализации языков, создания на основе этих языков систем программирования. Значение работы определяется постоянно расширяющимися требованиями к статическим анализаторам, их возрастающей ролью в создании новых процессоров.
Библиографические ссылки
Касьянов В.Н. Оптимизирующие преобразование программ. – М.: Наука, 1988. – 336 c.
Бородин А.Е. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Москва, 2016. –24 с.
Сидорин А.В. Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора. Автореферат диссертации на соискание учёной степени кандидата технических наук. МГТУ им. Н. Э. Баумана. Москва, 2017. – 20 с.
Белеванцев А.А. Многоуровневый статический анализ исходного кода для обеспечения качества программ. Автореферат диссертации на соискание ученой степени доктора физико-математических наук. Москва, 2017. – 42 с.
Ходиев Ш.И. Оптимизация циклов и удаление несущественных вычислений в оптимизирующих процессорах. Автореферат диссертации на соискание учёной степени кандидата технических наук. ТУИТ. Типогр. ТГТУ. Ташкент, 2010. –24с.
Архипова М.В.Генерация тестов для семантических анализаторов. Препринт ИСП. РАН, 2005. – 25 с.
Саргсян В.С.. Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода. Труды ИСП РАН, том 27, вып. 2, 2015. –С. 93-102
Igor A. Adamovich, Yuri A. Klimov. “The JaSpe specializer: an algorithm of intraprocedural binding time analysis for programs in Java language subset”. Program Systems: Theory and Applications, 2020, 11:1(44), pp. 3–29. (InRussian).
Орлов В.А., Клещев А.С. Компьютерные банки знаний. Многоцелевой банк знаний. Ж. Информационные технологии, 2006. №2.
Айк А.К. Методы статического анализа для поиска дефектов в исполняемом коде программ. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Институт системного программирования им. В.П. Иванникова РАН. Москва, 2019. – 24 с.
Карпулевич Е.А. Использование различных представлений java-программ для статического анализа. Труды Института системного программирования РАН. 2015;27(6):151-158. https://doi.org/10.15514/ISPRAS-2015-27(6) –10.
