Gast ::
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
; ; ; ;
In
OOPSLA1
In
Proceedings of the ACM on programming languages : (PACMPL) 8(OOPSLA1), Seiten/Artikel-Nr.:127
2024
Online
DOI: 10.1145/3649844
DOI: 10.18154/RWTH-2024-05212
URL: https://publications.rwth-aachen.de/record/986464/files/986464.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
- Profilbereich Information & Communication Technology (ICT) (080017)
Projekte
- FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)
- GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)
Inhaltliche Beschreibung (Schlagwörter)
Bayesian inference (frei) ; Probabilistic inference problems (frei) ; Program reasoning (frei) ; Program semantics (frei) ; conditioning (frei) ; denotational semantics (frei) ; generating functions (frei) ; non-termination (frei) ; probabilistic programs (frei) ; quantitative verification (frei)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:001209927600034
SCOPUS: SCOPUS:2-s2.0-85193808838
Interne Identnummern
RWTH-2024-05212
Datensatz-ID: 986464
Beteiligte Länder
Germany, Peoples R China
Related:
Preprint
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
ACM Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA24, PasadenaPasadena, USA, 20 Oct 2024 - 25 Oct 2024
54 Seiten (2023) [10.48550/ARXIV.2307.07314]
Files Fulltext by arXiv.org
BibTeX |
EndNote:
XML,
Text |
RIS
; 
; 
; Clarivate Analytics Master Journal List ; Emerging Sources Citation Index ; IF < 5 ; JCR ; SCOPUS ; Web of Science Core Collection
PDF