Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.

ABSTRACT: Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form x'≤y+c , and describe that the value of x in the current state is at most the value of y in the previous state plus some constant c∈Z . We believe that difference constraints are also a good choice for complexity and resource bound analysis because the complexity of imperative programs typically arises from counter increments and resets, which can be modeled naturally by difference constraints. In this article we propose a bound analysis based on difference constraints. We make the following contributions: (1) our analysis handles bound analysis problems of high practical relevance which current approaches cannot handle: we extend the range o

SUBMITTER: Sinn M 

PROVIDER: S-EPMC6044401 | biostudies-literature | 2017

REPOSITORIES: biostudies-literature