activity
20152025
most citedProbabilistic Output Analysis by Program Manipulation

3 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.PL2020

Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses

Maja Hanne Kirkeby

We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., int…