Impacto
Downloads
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. 483504. ISSN 01676423

PDF (Preprint)
521kB 
Official URL: http://www.sciencedirect.com/science/article/pii/S016764231400570X
Abstract
Automatic cost analysis has significantly advanced in the last few years. Nowadays, a number of cost analyzers exist which automatically produce upperand/ or lowerbounds on the amount of resources required to execute a program.Cost analysis has a number of important applications such as resourceusage 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., nonrecursive 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