Published March 7, 2023
| Version v6
Software
Open
PLDI 2023 Research Artifact
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.
Files
README-artifact.md
Files
(640.7 MB)
Name | Size | Download all |
---|---|---|
md5:18f13ce0b7274b721c41e0f1c1177b7d
|
24.8 MB | Download |
md5:d2673fbfd35e2550019d2d405b28e48e
|
553.1 MB | Download |
md5:ac085783efbc8f52c60a535ca9ef03ff
|
62.8 MB | Download |
md5:c43d69a80afae277318c84a04dc7de63
|
6.9 kB | Preview Download |
md5:1d87a2d8fcc9f72ca17c6a967cdfcfe1
|
6.5 kB | Preview Download |