Published March 7, 2023
| Version v6
Software
Open
PLDI 2023 Research Artifact
Authors/Creators
- 1. INRIA Sophia Antipolis Méditerranée
- 2. Universität Innsbruck
- 3. Build Informed
Description
Our tool, dubbed ev-imp, implements an expected value analysis for probabilistic, imperative programs featuring dynamic sampling instructions, non-deterministic choice, nested loops and most crucially recursive procedure declarations.