### Abstract

The aim of a probabilistic output analysis is to derive a probability distribution of possible output values for a program from a probability distribution of its input. We present a method for performing static output analysis, based on program transformation techniques. It generates a probability function as a possibly uncomputable expression in an intermediate language. This program is then analyzed, transformed, and approximated. The result is a closed form expression that computes an over approximation of the output probability distribution for the program. We focus on programs where the possible input follows a known probability distribution. Tests in programs are not assumed to satisfy the Markov property of having fixed branching probabilities independently of previous history.

Originalsprog | Engelsk |
---|---|

Titel | Electronic Proceedings in Theoretical Computer Science |

Vol/bind | 194 |

Publikationsdato | 29 sep. 2015 |

Sider | 110-124 |

DOI | |

Status | Udgivet - 29 sep. 2015 |

Begivenhed | Quantitative Aspects of Programming Languages and Systems - Queen Mary Unversity of London, London, Storbritannien Varighed: 11 apr. 2015 → 12 apr. 2015 http://qapl15.inria.fr/ |

### Konference

Konference | Quantitative Aspects of Programming Languages and Systems |
---|---|

Lokation | Queen Mary Unversity of London |

Land | Storbritannien |

By | London |

Periode | 11/04/2015 → 12/04/2015 |

Internetadresse |

Navn | Electronic Proceedings in Theoretical Computer Science |
---|---|

Nummer | 194 |

ISSN | 2075-2180 |

## Citer dette

Rosendahl, M., & Kirkeby, M. H. (2015). Probabilistic Output Analysis by Program Manipulation. I

*Electronic Proceedings in Theoretical Computer Science*(Bind 194, s. 110-124). Electronic Proceedings in Theoretical Computer Science, Nr. 194 https://doi.org/10.4204/EPTCS.194.8