книги Компьютеры и Интернет Устройство компьютера, “железо”

Program Dependences, Slicing, and Verification. Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Код 915075

Нет в продаже

Аннотация к книге "Program Dependences, Slicing, and Verification. Accurate and Scalable Approaches for Concurrent Object Oriented Programs"

This dissertation presents accurate and scalable approaches to discover program dependences (relations) between various parts of the program and leveraging the dependences to improve development and maintenance tasks via program slicing (comprehension) and verification. The contents include new notions of control dependences that are suitable for modern program structures (e.g. non-terminating loops in reactive systems, exceptional control flow), a general algorithm to calculate data-based...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6392-2803-8
Объём: 304 страниц
Масса: 485 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 2

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Календари