Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Program Dependences, Slicing, and Verification
Accurate and Scalable Approaches for Concurrent Object Oriented Programs
Angol
193 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
3 094
Ft
/
Puha kötésű
2 870
Ft
/
Puha kötésű
13 174
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.
Információ a könyvről
Angol
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Puha kötésű
4 107
Ft
/
Puha kötésű
18 637
Ft
/
Kemény kötésű
91 897
Ft
/
Puha kötésű
31 030
Ft
/
Puha kötésű
81 617
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?