Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Genaim, Samir ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2014-10Static analysis which takes into account the values of data stored in the heap is considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields nor of array contents, i.e., they ar[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2015-06The aim of incremental analysis is, given a program, its analysis results, and a series of changes to the program, to obtain the new analysis results as eficiently as possible and, ideally, without having to (re-)analyze fragments of code which [...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Genaim, Samir ; Puebla, Germán | Elsevier | 2015-11Automatic cost analysis has significantly advanced in the last few years. Nowadays, a number of cost analyzers exist which automatically produce upperand/ or lower-bounds on the amount of resources required to execute a program.Cost analysis has[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Springer | 2014-11When reasoning about distributed systems, it is essential to have information about the different kinds of nodes that compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Correas Fernández, Jesús ; Genaim, Samir ; Gómez Zamalloa, Miguel ; Martín Martín, Enrique ; Puebla, Germán ; Román Díez, Guillermo | 2015-06Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., [...]
