Mohlo by sa vám tiež páčiť

Viac informácií o knihe Program Dependences, Slicing, and Verification

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 193 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Celý názov: Program Dependences, Slicing, and Verification
• Podnázov: Accurate and Scalable Approaches for Concurrent Object Oriented Programs
• Autor: Venkatesh-Prasad Ranganath
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 304
• EAN: 9783639228038
• ISBN: 3639228030
• ID: 06830582
• Nakladateľ: VDM Verlag
• Hmotnosť: 449 g
• Rozmery: 229 × 152 × 17 mm
• Dátum vydania: 21. March 2010

Obľúbené z iného súdka

---

---

---