Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Autor: Venkatesh-Prasad Ranganath

Jazyk:

Väzba: Brožovaná

Vydavateľ: VDM Verlag

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

77.60 €

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

Informácie o knihe

Autor

Venkatesh-Prasad Ranganath

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2010

Stránok

304

EAN

9783639228038

ISBN

3639228030

Enbook ID

06830582

Vydavateľ

VDM Verlag

Hmotnosť

449

Rozmery

152 x 229 x 17

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež