Semantics for probabilistic programming

DOI10.1145/2933575.2935313zbMath1395.68082arXiv1601.04943OpenAlexW3125832933MaRDI QIDQ4635912

Hongseok Yang, Ohad Kammar, Frank Wood, Chris Heunen, Sam Staton

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (22)

On the Versatility of Open Logical Relations ⋮ On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Borel kernels and their approximation, categorically ⋮ Continuous probability distributions in concurrent games ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ From probability monads to commutative effectuses ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Control-data separation and logical condition propagation for efficient inference on probabilistic programs ⋮ Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism ⋮ Pointless Learning ⋮ On Higher-Order Probabilistic Subrecursion ⋮ Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring ⋮ Commutative Semantics for Probabilistic Programming ⋮ Correctness of sequential Monte Carlo inference for probabilistic programming languages ⋮ A predicate/state transformer semantics for Bayesian learning ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ A Formal Semantics of Influence in Bayesian Reasoning

This page was built for publication: Semantics for probabilistic programming