Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations
Authors: Alicia Merayo Corcoba and Samir Genaim
Paper Information
| Title: | Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations |
| Authors: | Alicia Merayo Corcoba and Samir Genaim |
| Proceedings: | WST WST2018proceedings |
| Editor: | Salvador Lucas |
| Keywords: | Probabilistic programs, Cost relations, Cost analysis |
| Abstract: | 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. |
| Pages: | 1 |
| Talk: | Jul 19 12:00 (Session 132J: Complexity) |
| Paper: |  |