Probabilistic Abstract Interpretation is a framework for program analysis that allows us to accommodate probabilistic properties and properties of probabilistic computations. We illustrate the dual value of this framework for both deducing and inferring probabilities. More specifically we show the use of PAI for both static analysis and statistical reasoning.
The dual value of Probabilistic Abstract interpretation
DI PIERRO, ALESSANDRA
2016-01-01
Abstract
Probabilistic Abstract Interpretation is a framework for program analysis that allows us to accommodate probabilistic properties and properties of probabilistic computations. We illustrate the dual value of this framework for both deducing and inferring probabilities. More specifically we show the use of PAI for both static analysis and statistical reasoning.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
