Published November 15, 2020
| Version v1
Conference paper
A Modular Cost Analysis for Probabilistic Programs
- Creators
- Avanzini, Martin
- Moser, Georg
- Schaper, Michael
- Others:
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- University of Innsbruck
- ANR-19-CE48-0014,PPS,Sémantique des programmes probabilistes(2019)
Description
International audience
Additional details
- URL
- https://hal.inria.fr/hal-03013544
- URN
- urn:oai:HAL:hal-03013544v1
- Origin repository
- UNICA