Tags:Cost analysis, Cost relations, expected cost, linear upper bound and Probabilistic programs

Abstract:

In this extended abstract, we describe a preliminary work on inferring linear upper-bounds on the expected cost for control-flow graphs as via cost relations, with the goal of integrating this process in the SACO tool, whose cost analyzer is based on the use of cost relations as well.

Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations