Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Venkatesh-Prasad Ranganath

Lingua

Inglese

Libro In brossura

Codice Libristo: 06830582

Casa editrice VDM Verlag, marzo 2010

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

Codice Libristo: 06830582

203 b

83.09 €

Presso l'editore su ordinazione Inviamo tra 17-27 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

CD audio

12.49 €

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

In brossura

15.59 €

La Baronessa Di Carini (1870) Salvatore Salomone-Marino

In brossura

18.59 €

Sevdazede Özcan Deniz

CD audio

19.39 €

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

In brossura

8.09 €

LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet

Rigido

23.69 €

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

In brossura

7.49 €

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

In brossura

13.19 €

A titokdoboz - Cutia cu secrete Kertész Erzsi

Rigido

6.49 €

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

In brossura

10.89 €

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.