This is the moment for probabilistic loops

We present a novel static analysis technique to derive higher moments for program variables for a large class of probabilistic loops with potentially uncountable state spaces. Our approach is fully automatic, meaning it does not rely on externally provided invariants or templates. We employ algebrai...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 6; H. OOPSLA2; S. 1497 - 1525
Hauptverfasser:	Moosbrugger, Marcel, Stankovič, Miroslav, Bartocci, Ezio, Kovács, Laura
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 31.10.2022
Schlagworte:	Computing methodologies Markov processes Mathematics of computing Random walks and Markov chains Symbolic and algebraic algorithms Theory of computation Higher Moments Distribution Recovery Linear Recurrences Probabilistic Programs
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!