Comparing Cost Functions in Resource Analysis

@inproceedings{Albert2009ComparingCF,
  title={Comparing Cost Functions in Resource Analysis},
  author={Elvira Albert and Puri Arenas and Samir Genaim and Israel Herraiz and Germ{\'a}n Puebla},
  booktitle={FOPARA},
  year={2009}
}
Cost functions provide information about the amount of resources required to execute a program in terms of the sizes of input arguments. They can provide an upper-bound, a lower-bound, or the average-case cost. Motivated by the existence of a number of automatic cost analyzers which produce cost functions, we propose an approach for automatically proving that a cost function is smaller than another one. In all applications of resource analysis, such as resource-usage verification, program… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

Resource-usage-aware configuration in software product lines

  • J. Log. Algebr. Meth. Program.
  • 2016
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A practical comparator of cost functions and its applications

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Foundational and Practical Aspects of Resource Analysis

  • Lecture Notes in Computer Science
  • 2011
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 11 REFERENCES