2.2.5 Тезисы докладов

1. Алгоритмические вопросы применения теории графов
   в программировании. 1989
2. Анализ управляющих и информационных свойств
   программ, ориентированнный на статическую
   проверку их правильности. 1986
3. АС -- система для проверки и испытания программ. 1989
4. Вопросы информационной поддержки научных
   исследований и преподавания гуманитарных дисциплин. 1998
5. Вопросы моделирования программ при их оптимизации. 1981
6. Вопросы преподавания информатики и программирования. 1997
7. Вопросы преподавания фундаментальных основ
   информатики и программирования. 1996
8. Вопросы эффективного использования параллельных ЭВМ. 1996
9. Изложение отечественной истории информатики для школы. 1997
10. Конструирование качественных программ методом
    конкретизирующих преобразований. 1986
11. Конструирование качественных программ посредством
    конкретизирующих преобразований. 1985
12. Контекстно-свободные преобразования аннотированных
    программ. 1983
13. Методы анализа потока данных в программе. 1984
14. Методы и средства визуальной обработки иерархических
    графовых моделей. 1998
15. Методы факторизации алгоритмов анализа и
    преобразования программ. 1985
16. Об автоматическом конструировании качественных
    программ, основанном на преобразованиях. 1981
17. Обобщенная задача анализа свойств программ. 1984
18. Оптимизация крупноблочных программ. 1980
19. Организация учебной и научно-исследовательской работы
    студентов по программированию на механико-
    математическом факультете НГУ. 1990
20. О социалистическом соревновании между лабораториями
    теоретических отделений ВЦ СО АН СССР. 1978
21. Параллельная обработка: вопросы обучения. 1997
22. Поддержка супервычислений и интернет-ориентированные
    технологии. 1998
23. Семантические преобразования программ. 1988
24. СИМИКС -- информационная система для
    поддержки гуманитарных исследований и
    образования в области культуры. 1997
25. Система для редактирования иерархических графов. 1997
26. Смешанные вычисления и оптимизация программ. 1979
27. Теоретико-графовые задачи в трансляции. 1982
28. Технологические возможности оптимизации программ. 1979
29. Чистка циклов. 1983
30. Язык для представления алгоритмов анализа программ. 1982
31. Educational informatics systems and education in computer
    sciences. 1993
32. Formal methods for program reusability. 1997
33. Formal methods in program analysis and transformations. 1995
34. Methods and tools for constructing reliable and efficient
    software via annotated program transformations. 1995
35. SOKRAT: an environment for safe and effective programming. 1993
36. Transformational approach to designing effective and reliable
    programs for parallel computers. 1993