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.
2014
978-3-319-12465-0
program analysis, probability, abstract interpretation
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/933762
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact