An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages

DOI10.1007/978-3-662-49498-1_14zbMath1335.68028OpenAlexW2465272687MaRDI QIDQ2802487

No author found.

Publication date: 26 April 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-662-49498-1_14

zbMATH Keywords

semanticsprobabilistic programscomputable distributions

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 (1)

Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring

Uses Software

• BUGS
• Infer.NET
• IBAL
• Church
• FACTORIE
• Dimple
• NUTS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
• Computable de Finetti measures
• Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
• CPO's of measures for nondeterminism
• Semantics of probabilistic programs
• Computability on the probability measures on the Borel sets of the unit interval
• Computability of probability measures and Martin-Löf randomness over metric spaces
• Uniform test of algorithmic randomness over a general space
• Running Probabilistic Programs Backwards
• On the rapid computation of various polylogarithmic constants
• Stochastic lambda calculus and monads of probability distributions
• A probabilistic language based upon sampling functions
• Admissible representations for probability measures
• Probability Theory with Applications
• Measure Transformer Semantics for Bayesian Machine Learning

This page was built for publication: An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages