Probabilistic Resource Analysis by Program Transformation

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review


The aim of a probabilistic resource analysis is to derive a probability
distribution of possible resource usage for a program from a probability
distribution of its input.We present an automated multi-phase rewriting
based method to analyze programs written in a subset of C. It generates a
probability distribution of the resource usage as a possibly uncomputable
expression and then transforms it into a closed form expression using over
approximations. We present the technique, outline the implementation and
show results from experiments with the system.
BogserieLecture Notes in Computer Science
Sider (fra-til)60-80
Antal sider21
StatusUdgivet - 2016

Citer dette