Amanote Research
Register
Sign In
Bounded Expectations: Resource Analysis for Probabilistic Programs
doi 10.1145/3192366.3192394
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Van Chan Ngo
Quentin Carbonneaux
Jan Hoffmann
Publisher
ACM Press