Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Autor: Venkatesh-Prasad Ranganath

Limbă:

Legare: Carte broșată

Editura: VDM Verlag

Disponibilitate: La editor doar la comandă

Expediem în 17-27 zile

407.03 lei

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

Informații despre carte

Autor

Venkatesh-Prasad Ranganath

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

304

EAN

9783639228038

ISBN

3639228030

Enbook ID

06830582

Editura

VDM Verlag

Greutate

449

Dimensiuni

152 x 229 x 17

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și