3.2.2 Доклады на всесоюзных и межрегиональных мероприятиях

1. Алгоритмические вопросы применения теории графов
   в программировании. 1989
2. Анализ структур программ в глобальной оптимизации. 1975
3. Анализ управляющих графов программ. 1973
4. Анализ управляющих и информационных свойств программ. 1986
5. АС -- система для проверки и испытания программ. 1989
6. Быстрые алгоритмы анализа структур программ. 1981
7. Вопросы моделирования программ при их оптимизации. 1981
8. Вопросы преподавания информатики и программирования. 1997
9. Вопросы редукции программ. 1984
10. Выделение гамаков в ориентированном графе. 1975
11. Информационные связи и преобразование программ. 1974
12. Конструирование качественных программ методом
    конкретизирующих преобразований. 1986
13. Конструирование качественных программ посредством
    конкретизирующих преобразований. 1985
14. Контекстно-свободные преобразования аннотированных
    программ. 1983
15. Методы анализа потока данных в программах. 1984
16. Методы факторизации алгоритмов анализа свойств
    программ. 1985
17. Об автоматическом конструировании качественных
    программ, основанном на преобразованиях. 1981
18. Обзор методов анализа программ. 1982
19. Обобщенная задача анализа свойств состояний программ. 1984
20. О преподавании методов трансляции. 1977
21. Оптимизация программ: текущее состояние и перспективы. 1985
22. О свойствах сводимых графов. 1973
23. Оптимизация крупноблочных программ. 1980
24. Оптимизация программ. 1981
25. О социалистическом соревновании между лабораториями
    теоретических отделений ВЦ СО РАН. 1976
26. Применение теории оптимизации программ к проблеме
    правильности программ. 1978
27. Проблемы оптимизации программ. 1984
28. Семантические преобразования программ. 1988
29. Система БЕТА -- первые шаги. 1981
30. Система для анализа и преобразования программ. 1989
31. Смешанные вычисления и оптимизация программ. 1979
32. Теоретико-графовые задачи в трансляции. 1982
33. Технологические возможности оптимизации программ. 1979
34. Трансформационные методы и средства конструирования
    эффективных и надежных программ. 1992
35. Трансформационные методы оптимизации и
    конструирования программ. 1990
36. Трансформационный подход к конкретизации программ. 1989
37. Чистка циклов. 1983
38. Язык для представления алгоритмов анализа программ. 1982