TY - JOUR AU - Klinkenberg, Lutz AU - Blumenthal, Christian AU - Chen, Mingshuai AU - Haase, Darion AU - Katoen, Joost-Pieter TI - Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions JO - Proceedings of the ACM on programming languages : (PACMPL) VL - 8 IS - OOPSLA1 SN - 2475-1421 CY - New York, NY, USA PB - ACM M1 - RWTH-2024-05212 SP - 127 PY - 2024 T2 - ACM Conference on Object Oriented Programming Systems Languages and Applications CY - 20 Oct 2024 - 25 Oct 2024, Pasadena (USA) Y2 - 20 Oct 2024 - 25 Oct 2024 M2 - Pasadena, USA LB - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001209927600034 DO - DOI:10.1145/3649844 UR - https://publications.rwth-aachen.de/record/986464 ER -