buchspektrum Internet-Buchhandlung

Neuerscheinungen 2010

Stand: 2020-01-07
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

Venkatesh-Prasad Ranganath

Program Dependences, Slicing, and Verification


Accurate and Scalable Approaches for Concurrent Object Oriented Programs
2010. 304 S.
Verlag/Jahr: VDM VERLAG DR. MÜLLER 2010
ISBN: 3-639-22803-0 (3639228030)
Neue ISBN: 978-3-639-22803-8 (9783639228038)

Preis und Lieferzeit: Bitte klicken


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.
Venkatesh-Prasad Ranganath is a researcher at Microsoft Research, India, working on programming languages and software engineering. While he currently focuses on rule mining and alternative programming models, he has worked on program slicing and verification of concurrent programs and on model driven development of software systems.