Next: 2.2.5 Тезисы докладов
Up: 2.2 Тематический указатель публикаций
Previous: 2.2.3 Статьи
  Contents
- Архитектура систем конкретизации.
1983
- Инструментальные средства преобразования программ.
1987
- Комбинаторные задачи анализа программ в
оптимизирующей
трансляции.
1975
- Оптимизизация программ: обзор подходов.
1982
- Оптимизирующие преобразования программ и
их
обоснование методами теории крупноблочных схем.
1986
- Паскаль Б. Инструкция по программированию.
1981
- Паскаль-360. Инструкция по программированию.
1982
- Подход к специализации по информатике и
программи-
рованию в рамках системы непрерывного
образования.
1995
- Практический подход к оптимизации программ.
1978
- Преобразования аннотированных программ.
1988
- Проблемы преобразования программ.
1988
- Программирование на мини-фортране.
1981
- Разгрузка участков повторяемости.
1979
- СИМИКС -- информационная система для поддержки
гуманитарных исследований в области
культуры.
1997
- Системы конкретизации: подход и основные понятия.
1982
- Эквивалентные и оптимизирующие преобразования
крупноблочных
схем и программ.
1988