Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Autor: Venkatesh-Prasad Ranganath

Język:

Oprawa: Miękka

Wydawca: VDM Verlag

Dostępność: Na zamówienie

Wysyłamy za 17-27 dni

328.47 zł

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

Informacje o książce

Autor

Venkatesh-Prasad Ranganath

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2010

strony

304

EAN

9783639228038

ISBN

3639228030

Enbook ID

06830582

Wydawca

VDM Verlag

Waga

449

Wymiary

152 x 229 x 17

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również