Injecting Abstract Interpretations into Linear Cost Models

Details Injecting Abstract Interpretations into Linear Cost Models Injecting Abstract Interpretations into Linear Cost Models

2010-06-26

arxiv.org/abs/1006.5098v1

EPTCS 28, 2010, pp. 64-81

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.28.5

We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs. The dioid structure of the set of costs allows for defining the quantitative semantics as a linear operator. We then present an abstraction technique inspired from abstract interpretation in order to effectively compute global cost information from the program. Abstraction has to take two distinct notions of order into account: the order on costs and the order on states. We show that our abstraction technique provides a correct approximation of the concrete cost computations.

Affiliated with

Also associated with

No associations

Rating

Injecting Abstract Interpretations into Linear Cost Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Injecting Abstract Interpretations into Linear Cost Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Injecting Abstract Interpretations into Linear Cost Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-525569