- Алгоритмические вопросы применения теории графов
в
программировании.
1989
- Анализ структур программ в глобальной оптимизации.
1975
- Анализ управляющих графов программ.
1973
- Анализ управляющих и информационных свойств программ,
ориентированных на статическую проверку их правильности
1986
- Архитектуры с мелкозернистым параллелизмом
и проблема
построения прототипов компиляторов
1994
- АС — система для проверки и испытания программ.
1989
- Быстрые алгоритмы анализа структур программ.
1981
- Визуализация графов и графовых моделей.
2010
- Виртуальный музей истории информатики в Сибири.
2002
- Вопросы моделирования программ при их оптимизации.
1981
- Вопросы обучения математиков программированию.
2000
- Вопросы преподавания информатики и программирования.
1997
- Вопросы редукции программ.
1984
- Выделение гамаков в ориентированном графе.
1975
- Информационные связи и преобразование программ.
1974
- Конструирование качественных программ методом
конкретизирующих преобразований.
1986
- Конструирование качественных программ посредством
конкретизирующих преобразований.
1985
- Контекстно-свободные преобразования аннотированных
программ.
1983
- Методы анализа потока данных в программах.
1984
- Методы факторизации алгоритмов анализа свойств
программ.
1985
- О преподавании методов трансляции.
1977
- О свойствах сводимых графов.
1973
- О социалистическом соревновании между
лабораториями
теоретических отделений ВЦ СО РАН.
1976
- Об автоматическом конструировании качественных программ,
основанном на преобразованиях.
1981
- Обзор методов анализа программ.
1982
- Обобщенная задача анализа свойств состояний программ.
1984
- Оптимизация крупноблочных программ.
1980
- Оптимизация программ.
1981
- Оптимизация программ: текущее состояние и перспективы.
1985
- Применение теории оптимизации программ к
проблеме
правильности программ.
1978
- Проблемы обучения информатике и программированию.
2001
- Проблемы оптимизации программ.
1984
- Проблемы подготовки специалистов, владеющих
информационными технологиями.
2002
- Российская информатика в лицах: академик Андрей Петрович Ершов.
2017
- Семантические преобразования программ.
1988
- Система БЕТА — первые шаги.
1981
- Система для анализа и преобразования программ.
1989
- Смешанные вычисления и оптимизация программ.
1979
- Теоретико–графовые задачи в трансляции.
1982
- Теоретико-графовые методы и системы
программирования.
2017
- Технологические возможности оптимизации программ.
1979
- Трансформационные методы и средства конструирования
эффективных и надежных программ.
1992
- Трансформационные методы оптимизации и конструирования
программ.
1990
- Трансформационный подход к конкретизации программ.
1989
- Чистка циклов.
1983
- Язык для представления алгоритмов анализа программ.
1982
