Universidad Complutense de Madrid
E-Prints Complutense

A practical comparator of cost functions and its applications



Último año

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Genaim, Samir y Puebla, Germán (2015) A practical comparator of cost functions and its applications. Science of Computer Programming, 111 (P3). pp. 483-504. ISSN 0167-6423

Vista previa
PDF (Preprint)

URL Oficial: http://www.sciencedirect.com/science/article/pii/S016764231400570X


Automatic 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 a number of important applications such as resource-usage verification and program synthesis and optimization. For such applications to be successful, it is not suficient to have automatic cost analysis. It is also required to have automated means for handling the analysis results, which are in the form of Cost Functions (CFs for short) i.e., non-recursive expressions composed of a relatively small number of types of basic expressions. In particular, we need automated means for comparing CFs in order to prove that a CF is smaller than or equal to another one for all input values of interest. General function comparison is a hard mathematical problem. Rather than attacking the general problem, in this work we focus on comparing CFs by exploiting their syntactic properties and we present, to the best of our knowledge, the first practical CF comparator which opens the door to fully automated applications of cost analysis. We have implemented the comparator and made its source code available online, so that any cost analyzer can use it.

Tipo de documento:Artículo
Palabras clave:Resource analysis, Cost analysis, Function comparison, Upper/lower bounds
Materias:Ciencias > Informática > Software
Código ID:36117
Depositado:07 Abr 2016 10:37
Última Modificación:08 Abr 2016 08:19

Descargas en el último año

Sólo personal del repositorio: página de control del artículo