We present an approach to probabilistic analysis which is based on program semantics and exploits the mathematical properties of the semantical operators to ensure a form of optimality for the analysis. As in the algorithmic setting, where the analysis results are used the help the design of efficient algorithms, the purposes of our framework are to offer static analysis techniques usable for resource optimisation.
Probabilistic Analysis of Programs: A Weak Limit Approach
DI PIERRO, ALESSANDRA;
2014-01-01
Abstract
We present an approach to probabilistic analysis which is based on program semantics and exploits the mathematical properties of the semantical operators to ensure a form of optimality for the analysis. As in the algorithmic setting, where the analysis results are used the help the design of efficient algorithms, the purposes of our framework are to offer static analysis techniques usable for resource optimisation.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Published.pdf
solo utenti autorizzati
Descrizione: Articolo principale
Tipologia:
Versione dell'editore
Licenza:
Accesso ristretto
Dimensione
335.42 kB
Formato
Adobe PDF
|
335.42 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.