Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Szerző: Venkatesh-Prasad Ranganath

Nyelv:

Kötés: Puha kötésű

Kiadó: VDM Verlag

Elérhetőség: Kiadói készleten rendelésre

Küldés 17-27 napon belül

27 482 Ft

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

Információk a könyvről

Szerző

Venkatesh-Prasad Ranganath

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

304

EAN

9783639228038

ISBN

3639228030

Enbook ID

06830582

Kiadó

VDM Verlag

Súly

449

Méretek

152 x 229 x 17

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták