Conditioning in probabilistic programming

DOI10.1016/j.entcs.2015.12.013zbMath1351.68066arXiv1504.00198WikidataQ57800628 ScholiaQ57800628MaRDI QIDQ5971400

Joost-Pieter Katoen, Nils Jansen, Annabelle McIver, Benjamin Lucien Kaminski, Federico Olmedo, Friedrich Gretz

Publication date: 16 December 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.00198

zbMATH Keywords

program transformation; semantics; conditional probabilities; probabilistic programming

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q55: Semantics in the theory of computing

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• Church