### Resumé

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.

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.

Sprog | Engelsk |
---|---|

Bogserie | Lecture Notes in Computer Science |

Vol/bind | 9964 |

Sider | 60-80 |

ISSN | 0302-9743 |

DOI | |

Status | Udgivet - 2016 |

### Citer dette

}

*Lecture Notes in Computer Science*, bind 9964, s. 60-80. DOI: 10.1007/978-3-319-46559-3_4

**Probabilistic Resource Analysis by Program Transformation.** / Kirkeby, Maja Hanne; Rosendahl, Mads.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel

TY - JOUR

T1 - Probabilistic Resource Analysis by Program Transformation

AU - Kirkeby,Maja Hanne

AU - Rosendahl,Mads

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-46559-3_4

DO - 10.1007/978-3-319-46559-3_4

M3 - Journal article

VL - 9964

SP - 60

EP - 80

JO - Lecture Notes in Computer Science

T2 - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -