Search Results for author: Jan Hoffmann

Found 1 papers, 0 papers with code

Raising Expectations: Automating Expected Cost Analysis with Types

no code implementations24 Jun 2020 Di Wang, David M Kahn, Jan Hoffmann

The effectiveness of the technique is evaluated by analyzing the sample complexity of discrete distributions and with a novel average-case estimation for deterministic programs that combines expected cost analysis with statistical methods.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.