Contacto
Cómo comprar
Entrega
Guía de compras
Program Dependences, Slicing, and Verification
Accurate and Scalable Approaches for Concurrent Object Oriented Programs
Inglés
207 b
Política de devolución de 30 días
Clientes que también han comprado
/
CD de audio
13.09
€
/
Tapa blanda
8.49
€
/
Tapa blanda
7.49
€
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.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
89.59
€
/
Tapa blanda
10.79
€
/
Tapa blanda
225.39
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?