Linking theories in probabilistic programming
From MaRDI portal
Recommendations
- Linking theories of probabilistic programming
- scientific article; zbMATH DE number 3890702
- Foundations of probabilistic programming
- Probabilistic Couplings from Program Logics
- Probabilistic programming inference via intensional semantics
- Semantics of Probabilistic Programming: A Gentle Introduction
- scientific article; zbMATH DE number 1104373
Cites work
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 605806 (Why is no real title available?)
- A calculus of refinements for program derivations
- A logic for reasoning about probabilities
- A theoretical basis for stepwise refinement and the programming calculus
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Bisimulation through probabilistic testing
- Laws of programming
- Probabilistic models for the guarded command language
- Refinement-oriented probability for CSP
Cited in
(8)- A type theory for probabilistic and Bayesian reasoning
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Syntax and operational semantics of a probabilistic programming language with scopes
- Linking theories of probabilistic programming
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- A probabilistic theory of designs based on distributions
- scientific article; zbMATH DE number 3890702 (Why is no real title available?)
- Conditioning in probabilistic programming
This page was built for publication: Linking theories in probabilistic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961866)
