Next:2.2.4
Препринты и брошюрыUp:2.2
Тематический указатель публикацийPrevious:2.2.2
Учебные и методическиеContents
2.2.3 Статьи
-
Автоматизированное построение программ путем
их конкретизации. 1983
-
Анализ структур программ. 1980
-
Анализ структур программ в глобальной оптимизации. 1975
-
Анализ управляющих графов программ. 1973
-
Аннотирование программ и их преобразование. 1989
-
Архитектуры с мелкозернистым параллелизмом
и проблема построения прототипов компилятора. 1997
-
Базис для оптимизации программ. 1983
-
Быстрый алгоритм выделения максимальных линейных
участков в программе. 1982
-
Вопросы конкретизации программ. 1982
-
Вопросы подготовки специалистов по программированию. 1985
-
Вопросы преподавания информатики и программирования. 1997
-
Вопросы редукции программ. 1986
-
Выделение гамаков в ориентированном графе. 1975
-
Инструментальная система для изучения преобразований
программ. 1994
-
Инструменты преобразования программ. 1988
-
Информационные связи и преобразование схем программ. 1974
-
Исследования в области теоретического и системного
программирования и их применение в автоматизации
программирования и разработке математического
обеспечения. 1977
-
К вопросу о реализации схем над распределенной памятью. 1977
-
К обоснованию алгоритмов преобразования крупноблочных
программ. 1981
-
Конференция молодых ученых по системному
программированию. 1977
-
Конференция молодых ученых по системному
программированию. 1978
-
Конференция по методам трансляции и конструирования
программ. 1985
-
К оценке частоты выполнения операторов и переходов
в программе. 1975
-
К перестраиваемости коммутативных схем. 1975
-
Крупноблочная сегментация и распараллеливание
схем программ. 1976
-
Методика разработки многоязыковых трансляторов
на примере системы БЕТА. 1982
-
Методы и средства семантического анализа
Модула-программ. 1993
-
Об одном алгоритме выделения бикомпонент
в ориентированном графе. 1974
-
Об одном методе конструирования качественных
версий программ. 1986
-
О нахождении аргументов и результатов в схемах
с косвенной адресацией. 1976
-
Оптимизация программ. 1983
-
Оптимизирующие преобразования в распараллеливающих
компиляторах. 1988
-
Оптимизирующие преобразования в распараллеливающих
компиляторах. 1996
-
О работах лаборатории конструирования и оптимизации
программ в области систем учебной информатики. 1995
-
Организация курса по методам трансляции. 1988
-
О свойстве полноты механизма аннотаций директив. 1994
-
Перераспределение памяти в крупноблочных программах. 1980
-
Полнота класса крупноблочных схем. 1982
-
Применение методов оптимизации к проверке
правильности программ. 1978
-
Проблемы и перспективы исследования преобразований
программ на базе современных технических средств. 1995
-
Программ-оптимизирующие преобразования. 1982
-
Редуцирующие преобразования программ. 1983
-
Свободные интерпретации крупноблочных схем программ. 1980
-
Семантические преобразования программ. 1988
-
Система для анализа, преобразования и инструментовки
Фортран-программ. 1990
-
Системы учебной информатики. 1993
-
Смешанные вычисления и оптимизация программ. 1980
-
Советско-французский семинар по информатике. 1986
-
СОКРАТ: окружение надежного и эффективного
программирования. 1996
-
Спецификация контекста для редукции программ. 1984
-
Творческое наследие В.Э. Иткина. 1993
-
Теоретико-графовые задачи анализа транслируемых
программ. 1986
-
Технологические возможности оптимизации программ. 1980
-
Трансформационные методы и средства конструирования
эффективных и надежных программ. 1993
-
Трансформационный подход к конкретизации программ. 1989
-
Трансформационный подход к конструированию и
оптимизации программ. 1991
-
Трансформационный подход к конструированию
эффективных и надежных программ: модели, методы и
алгоритмы. 1994
-
Урок 20: параметры процедур и функций. 1982
-
Учет априорной информации при анализе свойств
состояний программ. 1985
-
Эквивалентные преобразования кратных схем. 1982
-
Эквивалентные преобразования линейных участков
программ. 1984
-
Экономное преобразование несводимых графов. 1973
-
A method for constructing quality program versions. 1987
-
A model for annotated programming. 1989
-
Annotated program transformations. 1989
-
Application of optimization techniques to correctness problems. 1977
-
Application of optimization techniques to correctness problems. 1979
-
A program manipulation system for fine-grained architectures. 1995
-
Basis for program optimization. 1983
-
Educational software development. 1991
-
Fine-grained concurrency architectures and the rapid
compiler prototyping problems. 1994
-
Formal methods for program reusability. 1997
-
Formal methods in program analysis and transformations. 1995
-
Iterative switching networks. 1997
-
Loop cleaning. 1984
-
Methods and tools for constructing reliable and efficient
software via annotated program transformations. 1996
-
On completeness of mechanism of annotation-directives. 1995
-
Program structure analysis in a global optimization. 1977
-
Schematology in a multy-language optimizer. 1977
-
Some properties of fully reducible graphs. 1973
-
The PROGRESS program manipulation system. 1993
-
The system PROGRESS as a tool for parallelizing compiler
prototyping. 1997
-
Tools and techniques of annotated programming. 1990
-
Transformational approach to program concretization. 1991
Next:2.2.4
Препринты и брошюрыUp:2.2
Тематический указатель публикацийPrevious:2.2.2
Учебные и методическиеContents