Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Program Dependences, Slicing, and Verification

Name: Program Dependences, Slicing, and Verification
Brand: VDM Verlag
SKU: 06830582
Price: 29129 HUF
Availability: InStock
Author: Venkatesh-Prasad Ranganath
ISBN: 9783639228038

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Venkatesh-Prasad Ranganath

Language

English

Book Paperback

Libristo code: 06830582

Publishers VDM Verlag, March 2010

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

Libristo code: 06830582

193 b

29 129 Ft

Print on demand Shipping in 17-27 days

Up to 30 days for returns

Customers also purchased

Papa Leo XIV. Eureka Circe

Paperback

6 317 Ft

La Baronessa Di Carini (1870) Salvatore Salomone-Marino

Paperback

8 733 Ft

Kreatives Gestalten. 77 Ideen rund um Zeichnen, Malen und Collage Katja Spitzer

Paperback

3 097 Ft

LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet

Hardback

8 266 Ft

Meus Amigos os Animais: Livreto de Colorir e@syBook para crianças de 4 a 7 anos E@sybook

Paperback

2 873 Ft

A titokdoboz - Cutia cu secrete Kertész Erzsi

Hardback

2 365 Ft

Star Wars. Las aventuras de Luke Skywalker, Caballero Jedi AA. VV.

Paperback

5 770 Ft

Guía De Nueva York: Para Uso De Los Espa?oles E Hispanoamericanos R. Alvarez

Paperback

9 109 Ft

Soumrak královen Jana Brnušáková

Paperback

3 549 Ft

Die große Schlagerparty, 1 Audio-CD Captain Cook Und Seine Singenden Saxophone

Audio CD

4 745 Ft

Mitteilungen und Nachrichten fur die evangelische Geistlichkeit Russlands C. C. Ulmann

Paperback

13 188 Ft

Akademické poznávání, vykazování a podnikání Tereza Stöckelová

Paperback

3 792 Ft

Finanzmarktintegration in Europa Martin Keim

Paperback

20 911 Ft

Sevdazede Özcan Deniz

Audio CD

7 370 Ft

La Republique c'Est Le Salut ! Epitre Aux Jeunes Electeurs Thirion-E-A

Paperback

4 350 Ft

FastTrack Mundharmonika, m. Audio-CD Blake Neely

Sheet music

12 344 Ft

Streik zur Pensionsreform 2003 Heidi Huber

Paperback

6 117 Ft

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.