|
Título:
|
SACO: Static analyzer for concurrent objects
|
|
Autores:
|
Albert Albiol, Elvira ;
Arenas Sánchez, Purificación ;
Flores Montoya, A. ;
Genaim, Samir ;
Gómez-Zamalloa Gil, Miguel ;
Martín Martín, Enrique ;
Puebla, G. ;
Román Díez, Guillermo
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Springer, 2014
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática
,
Materia = Ciencias: Informática: Programación orientada a objetos
,
Tipo = Ponencia o Póster de Seminario
,
Congreso
,
etc
|
|
Resumen:
|
We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock freedom) of programs based on concurrent objects. The system integrates auxiliary analyses such as points-to and may-happen-in-parallel, which are essential for increasing the accuracy of the aforementioned more complex properties. SACO provides accurate information about the dependencies which may introduce deadlocks, loops whose termination is not guaranteed, and upper bounds on the resource consumption of methods.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/36623/1/SACO%20static%20analyzer%20for%20concurrent.pdf
|
