2.2.3 Статьи

1. Автоматизированное построение программ путем

их конкретизации. 1983
2. Анализ структур программ. 1980
3. Анализ структур программ в глобальной оптимизации. 1975
4. Анализ управляющих графов программ. 1973
5. Аннотирование программ и их преобразование. 1989
6. Архитектуры с мелкозернистым параллелизмом

и проблема построения прототипов компилятора. 1997
7. Базис для оптимизации программ. 1983
8. Быстрый алгоритм выделения максимальных линейных

участков в программе. 1982
9. Вопросы конкретизации программ. 1982
10. Вопросы подготовки специалистов по программированию. 1985
11. Вопросы преподавания информатики и программирования. 1997
12. Вопросы редукции программ. 1986
13. Выделение гамаков в ориентированном графе. 1975
14. Инструментальная система для изучения преобразований

программ. 1994
15. Инструменты преобразования программ. 1988
16. Информационные связи и преобразование схем программ. 1974
17. Исследования в области теоретического и системного

программирования и их применение в автоматизации
программирования и разработке математического
обеспечения. 1977
18. К вопросу о реализации схем над распределенной памятью. 1977
19. К обоснованию алгоритмов преобразования крупноблочных

программ. 1981
20. Конференция молодых ученых по системному

программированию. 1977
21. Конференция молодых ученых по системному

программированию. 1978
22. Конференция по методам трансляции и конструирования

программ. 1985
23. К оценке частоты выполнения операторов и переходов

в программе. 1975
24. К перестраиваемости коммутативных схем. 1975
25. Крупноблочная сегментация и распараллеливание

схем программ. 1976
26. Методика разработки многоязыковых трансляторов

на примере системы БЕТА. 1982
27. Методы и средства семантического анализа

Модула-программ. 1993
28. Об одном алгоритме выделения бикомпонент

в ориентированном графе. 1974
29. Об одном методе конструирования качественных

версий программ. 1986
30. О нахождении аргументов и результатов в схемах

с косвенной адресацией. 1976
31. Оптимизация программ. 1983
32. Оптимизирующие преобразования в распараллеливающих

компиляторах. 1988
33. Оптимизирующие преобразования в распараллеливающих

компиляторах. 1996
34. О работах лаборатории конструирования и оптимизации

программ в области систем учебной информатики. 1995
35. Организация курса по методам трансляции. 1988
36. О свойстве полноты механизма аннотаций директив. 1994
37. Перераспределение памяти в крупноблочных программах. 1980
38. Полнота класса крупноблочных схем. 1982
39. Применение методов оптимизации к проверке

правильности программ. 1978
40. Проблемы и перспективы исследования преобразований

программ на базе современных технических средств. 1995
41. Программ-оптимизирующие преобразования. 1982
42. Редуцирующие преобразования программ. 1983
43. Свободные интерпретации крупноблочных схем программ. 1980
44. Семантические преобразования программ. 1988
45. Система для анализа, преобразования и инструментовки

Фортран-программ. 1990
46. Системы учебной информатики. 1993
47. Смешанные вычисления и оптимизация программ. 1980
48. Советско-французский семинар по информатике. 1986
49. СОКРАТ: окружение надежного и эффективного

программирования. 1996
50. Спецификация контекста для редукции программ. 1984
51. Творческое наследие В.Э. Иткина. 1993
52. Теоретико-графовые задачи анализа транслируемых

программ. 1986
53. Технологические возможности оптимизации программ. 1980
54. Трансформационные методы и средства конструирования

эффективных и надежных программ. 1993
55. Трансформационный подход к конкретизации программ. 1989
56. Трансформационный подход к конструированию и

оптимизации программ. 1991
57. Трансформационный подход к конструированию

эффективных и надежных программ: модели, методы и
алгоритмы. 1994
58. Урок 20: параметры процедур и функций. 1982
59. Учет априорной информации при анализе свойств

состояний программ. 1985
60. Эквивалентные преобразования кратных схем. 1982
61. Эквивалентные преобразования линейных участков

программ. 1984
62. Экономное преобразование несводимых графов. 1973
63. A method for constructing quality program versions. 1987
64. A model for annotated programming. 1989
65. Annotated program transformations. 1989
66. Application of optimization techniques to correctness problems. 1977
67. Application of optimization techniques to correctness problems. 1979
68. A program manipulation system for fine-grained architectures. 1995
69. Basis for program optimization. 1983
70. Educational software development. 1991
71. Fine-grained concurrency architectures and the rapid

compiler prototyping problems. 1994
72. Formal methods for program reusability. 1997
73. Formal methods in program analysis and transformations. 1995
74. Iterative switching networks. 1997
75. Loop cleaning. 1984
76. Methods and tools for constructing reliable and efficient

software via annotated program transformations. 1996
77. On completeness of mechanism of annotation-directives. 1995
78. Program structure analysis in a global optimization. 1977
79. Schematology in a multy-language optimizer. 1977
80. Some properties of fully reducible graphs. 1973
81. The PROGRESS program manipulation system. 1993
82. The system PROGRESS as a tool for parallelizing compiler

prototyping. 1997
83. Tools and techniques of annotated programming. 1990
84. Transformational approach to program concretization. 1991