Running Probabilistic Programs Backwards

DOI10.1007/978-3-662-46669-8_3zbMath1335.68029arXiv1412.4053OpenAlexW1534323856MaRDI QIDQ2802430

David A. Vanhorn, Jay McCarthy, Neil Toronto

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

probabilitysemanticsdomain-specific languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Unnamed Item ⋮ Commutative Semantics for Probabilistic Programming ⋮ An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages

This page was built for publication: Running Probabilistic Programs Backwards