Foundations of probabilistic programming

DOI10.1017/9781108770750MaRDI QIDQ5134467zbMATH OpenOpenAlexFDO

Authors

Publication date 16 November 2020

Full work available at URL https://doi.org/10.1017/9781108770750

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 7102019
• Probabilistic programming: a true verification challenge
• Bayesian programming
• Understanding probabilistic programs
• Abstraction, Refinement and Proof for Probabilistic Systems

Cited in

(17)

• The probabilistic termination tool amber
• Understanding probabilistic programs
• Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics
• Program equivalence in a typed probabilistic call-by-need functional language
• Solving quantitative equations
• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• A lambda-calculus foundation for universal probabilistic programming
• Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
• Does a Program Yield the Right Distribution?
• Probabilistic-statistical programs from ``Applied Statistics
• Probabilistic programming languages: independent choices and deterministic systems
• Probabilistic programming: a true verification challenge
• The EfProb library for probabilistic calculations
• Linking theories in probabilistic programming
• scientific article; zbMATH DE number 3890702 (Why is no real title available?)
• Bayesian programming
• Symbolic semantics for probabilistic programs

This page was built for publication: Foundations of probabilistic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5134467)