Program Dependences, Slicing, and Verification

Name: Program Dependences, Slicing, and Verification
Brand: VDM Verlag
SKU: 9783639228038
Price: 81.62 EUR
Availability: InStock

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Автор: Venkatesh-Prasad Ranganath

Език:

Корици: С меки корици

Издател: VDM Verlag

Наличност: Налично при издателя, по поръчка

Изпращаме след 17-27 дни

81.62 € 159.64 лв

This dissertation presents accurate and scalable approaches to discover program dependences (relatio...

Информация за книгата

Автор

Venkatesh-Prasad Ranganath

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

304

EAN

9783639228038

ISBN

3639228030

Enbook ID

06830582

Издател

VDM Verlag

Теглоt

449

Размери

152 x 229 x 17

Пълно описание

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 program dependences in concurrent programs, a parametric framework to describe program slicing algorithms, and the first stateful model checking algorithm that employs dynamic partial order reduction. The exposition employs illustrative examples, rigorous theoretical reasoning, and thorough experimental evaluation. The tools that embody the described techniques (and were used in the experimental evaluation) are freely available at http://indus.projects.cis.ksu.edu.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също