Под редакцией проф. Виктора Николаевича Касьянова. — Новосибирск:
Институт систем информатики им. А.П. Ершова, 2002. — 117 с.
Книга содержит обзор существующих подходов и алгоритмов, используемых при построении срезов программ, а также различных приложений срезов, среди которых отладка, интеграция программ, тестирование потока данных, повторное проектирование и сопровождение программного обеспечения и является восьмой в серии книг, издаваемых Институтом систем информатики СО РАН по проблемам конструирования и оптимизации программ.
Представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования. Содержание:
Введение.
Зависимости по данным и зависимости по управлению.
Методы статических срезов.
Базовые алгоритмы.
Процедуры.
Неструктурированный поток управления.
Составные типы данных и указатели.
Параллелизм.
Сравнение.
Методы динамических срезов.
Базовые алгоритмы.
Процедуры.
Составные типы данных и указатели.
Параллельность.
Сравнение.
Области применения срезов программ.
Отладка и анализ программ.
Дифференциация и интеграция программ.
Сопровождение программного обеспечения.
Тестирование.
Настройка компиляторов.
Повторное проектирование.
Другие применения срезов.
Последние разработки.
Конкретизация программ.
Понятие конкретизации.
Аннотированное программирование.
Класс редуцирующих конкретизаций.
Заключение.
Список литературы.
Книга содержит обзор существующих подходов и алгоритмов, используемых при построении срезов программ, а также различных приложений срезов, среди которых отладка, интеграция программ, тестирование потока данных, повторное проектирование и сопровождение программного обеспечения и является восьмой в серии книг, издаваемых Институтом систем информатики СО РАН по проблемам конструирования и оптимизации программ.
Представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования. Содержание:
Введение.
Зависимости по данным и зависимости по управлению.
Методы статических срезов.
Базовые алгоритмы.
Процедуры.
Неструктурированный поток управления.
Составные типы данных и указатели.
Параллелизм.
Сравнение.
Методы динамических срезов.
Базовые алгоритмы.
Процедуры.
Составные типы данных и указатели.
Параллельность.
Сравнение.
Области применения срезов программ.
Отладка и анализ программ.
Дифференциация и интеграция программ.
Сопровождение программного обеспечения.
Тестирование.
Настройка компиляторов.
Повторное проектирование.
Другие применения срезов.
Последние разработки.
Конкретизация программ.
Понятие конкретизации.
Аннотированное программирование.
Класс редуцирующих конкретизаций.
Заключение.
Список литературы.