Typed extended decision diagrams enable scalable deductive verification of probabilistic programs by compactly representing weakest pre-expectations.
Probabilistic relational reasoning for differential privacy
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
PurPL is an OO language whose typestate system models data purpose sets that grow or shrink to enforce usage compliance.
citing papers explorer
-
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
Typed extended decision diagrams enable scalable deductive verification of probabilistic programs by compactly representing weakest pre-expectations.
-
A Typestate Approach to Purpose-aware Programming
PurPL is an OO language whose typestate system models data purpose sets that grow or shrink to enforce usage compliance.