Slicing: срезы программ и их использование

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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

Базовые алгоритмы.
Процедуры.
Неструктурированный поток управления.
Составные типы данных и указатели.
Параллелизм.
Сравнение.
Методы динамических срезов.
Базовые алгоритмы.
Процедуры.
Составные типы данных и указатели.
Параллельность.
Сравнение.
Области применения срезов программ.
Отладка и анализ программ.
Дифференциация и интеграция программ.
Сопровождение программного обеспечения.
Тестирование.
Настройка компиляторов.
Повторное проектирование.
Другие применения срезов.
Последние разработки.
Конкретизация программ.

Понятие конкретизации.
Аннотированное программирование.
Класс редуцирующих конкретизаций.
Заключение.
Список литературы.

Author(s): Касьянов В.Н., Мирзуитова И.Л.

Language: Russian
Commentary: 1188822
Tags: Информатика и вычислительная техника;Технология программирования