We report on ongoing research efforts aimed at algebraic symbolic analysis of running time in probabilistic programs. We represent (sub-)probability distributions via generating functions and interpret loops as fixed-points in metric spaces.
Towards Algebraic Analysis of Probabilistic Programs / Collodi L.; Boreale M.; Pompa Di Gregorio A.. - ELETTRONICO. - 4039:(2025), pp. 147-153.
Towards Algebraic Analysis of Probabilistic Programs
Collodi L.
;Boreale M.
;Pompa Di Gregorio A.
2025
Abstract
We report on ongoing research efforts aimed at algebraic symbolic analysis of running time in probabilistic programs. We represent (sub-)probability distributions via generating functions and interpret loops as fixed-points in metric spaces.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
