Información del autor
Autor Albert Albiol, Elvira |
Documentos disponibles escritos por este autor (17)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying task scheduler, errors can go easil[...]texto impreso
Albert Albiol, Elvira ; Genaim, Samir ; Gutiérrez, Raúl | 2014-12In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along a program's execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural num[...]