TY  - RPRT
TI  - Bounded Expectations: Resource Analysis for Probabilistic Programs
AU  - Van Chan Ngo
AU  - Quentin Carbonneaux
AU  - Jan Hoffmann
PY  - 2017
UR  - https://arxiv.org/abs/1711.08847
ID  - 1711.08847
ER  -