Cost Relation Systems: A Language-Independent Target Language for Cost Analysis | Zendy

Elvira Albert | Zendy; Puri Arenas | Zendy; Samir Genaim | Zendy; Germán Puebla | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis

Author(s) -

Elvira Albert,

Puri Arenas,

Samir Genaim,

Germán Puebla

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.07.057

Subject(s) - computer science , java bytecode , relation (database) , haskell , programming language , bytecode , prolog , recursion (computer science) , java , perspective (graphical) , cost estimate , cost analysis , functional programming , artificial intelligence , operations research , mathematics , real time java , data mining , management , java annotation , economics

Cost analysis aims at obtaining information about the execution cost of programs. This paper studies cost relation systems (CRSs): the sets of recursive equations used in cost analysis in order to capture the execution cost of programs in terms of the size of their input arguments. We investigate the notion of CRS from a general perspective which is independent of the particular cost analysis framework. Our main contributions are: we provide a formal definition of execution cost and of CRS which is not tied to a particular programming language; we present the notion of sound CRS, i.e., which correctly approximates the cost of the corresponding program; we identify the differences with recurrence relation systems, its possible applications and the new challenges that they bring about. Our general framework is illustrated by instantiating it to cost analysis of Java bytecode, Haskell, and Prolog

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research