Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Autor: Venkatesh-Prasad Ranganath

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 875 Kč

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

Informace o knize

Autor

Venkatesh-Prasad Ranganath

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2010

Stránek

304

EAN

9783639228038

ISBN

3639228030

Enbook ID

06830582

Vydavatel

VDM Verlag

Hmotnost

449

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také