%0 Journal Article %A Klinkenberg, Lutz %A Blumenthal, Christian %A Chen, Mingshuai %A Haase, Darion %A Katoen, Joost-Pieter %T Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions %J Proceedings of the ACM on programming languages : (PACMPL) %V 8 %N OOPSLA1 %@ 2475-1421 %C New York, NY, USA %I ACM %M RWTH-2024-05212 %P 127 %D 2024 %B ACM Conference on Object Oriented Programming Systems Languages and Applications %C 20 Oct 2024 - 25 Oct 2024, Pasadena (USA) Y2 20 Oct 2024 - 25 Oct 2024 M2 Pasadena, USA %F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8 %9 Journal ArticleContribution to a conference proceedings %U <Go to ISI:>//WOS:001209927600034 %R 10.1145/3649844 %U https://publications.rwth-aachen.de/record/986464