Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

SACO: Static analyzer for concurrent objects

Simple item page
dc.conference.dateApril 5-13, 2014
dc.conference.placeGrenoble, France
dc.conference.title20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014
dc.contributor.authorAlbert Albiol, Elvira María
dc.contributor.authorArenas Sánchez, Purificación
dc.contributor.authorFlores Montoya, A.
dc.contributor.authorGenaim, Samir
dc.contributor.authorGómez-Zamalloa Gil, Miguel
dc.contributor.authorMartín Martín, Enrique
dc.contributor.authorPuebla, G.
dc.contributor.authorRomán Díez, Guillermo
dc.date.accessioned2023-06-19T16:04:35Z
dc.date.available2023-06-19T16:04:35Z
dc.date.issued2014
dc.description.abstractWe 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.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedFALSE
dc.description.sponsorshipUnión Europea. FP7
dc.description.sponsorshipMinisterio de Ciencia e Innovación (MICINN)
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/36623
dc.identifier.doi10.1007/978-3-642-54862-8_46
dc.identifier.issn03029743
dc.identifier.officialurlhttp://link.springer.com/chapter/10.1007/978-3-642-54862-8_46#page-1
dc.identifier.urihttps://hdl.handle.net/20.500.14352/36144
dc.journal.titleLecture Notes in Computer Science
dc.language.isoeng
dc.page.final567
dc.page.initial562
dc.publisherSpringer
dc.relation.projectIDENVISAGE (610582)
dc.relation.projectIDTIN2008-05624
dc.relation.projectIDTIN2012-38137
dc.rights.accessRightsopen access
dc.subject.cdu004.42.045
dc.subject.ucmInformática (Informática)
dc.subject.ucmProgramación orientada a objetos
dc.subject.unesco1203.17 Informática
dc.subject.unesco1203.24 Teoría de la Programación
dc.titleSACO: Static analyzer for concurrent objects
dc.typeconference paper
dc.volume.number8413
dspace.entity.typePublication
relation.isAuthorOfPublication1b41e88a-837f-414a-af5d-9105b5c0e7c5
relation.isAuthorOfPublication28429a26-2609-4967-a65d-d78a0b3c6626
relation.isAuthorOfPublication9d982c6c-9e4f-4459-bd6e-1866104f03f6
relation.isAuthorOfPublication6eef4c69-fd36-4274-b9c2-e93105ad2268
relation.isAuthorOfPublication8c7dbac8-1093-454e-a0cf-e7b2f316cf09
relation.isAuthorOfPublication.latestForDiscovery28429a26-2609-4967-a65d-d78a0b3c6626

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
SACO static analyzer for concurrent.pdf
Size:
222.46 KB
Format:
Adobe Portable Document Format
downoload Download

Collections

Ponencias o Pósters de Seminarios, Congresos, etc