A practical comparator of cost functions and its applications


Downloads per month over past year




Downloads per month over past year

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and 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

[thumbnail of Preprint]
PDF (Preprint)

Official URL: 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.

Item Type:Article
Uncontrolled Keywords:Resource analysis, Cost analysis, Function comparison, Upper/lower bounds
Subjects:Sciences > Computer science > Software
ID Code:36117
Deposited On:07 Apr 2016 10:37
Last Modified:08 Apr 2016 08:19

Origin of downloads

Repository Staff Only: item control page