Semantics of probabilistic programs
From MaRDI portal
Publication:1159979
Cites work
- scientific article; zbMATH DE number 3137662 (Why is no real title available?)
- scientific article; zbMATH DE number 3473265 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 3557236 (Why is no real title available?)
- scientific article; zbMATH DE number 3569835 (Why is no real title available?)
- scientific article; zbMATH DE number 3597592 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3249395 (Why is no real title available?)
- scientific article; zbMATH DE number 3256930 (Why is no real title available?)
- scientific article; zbMATH DE number 3371972 (Why is no real title available?)
- scientific article; zbMATH DE number 3060775 (Why is no real title available?)
- A Fast Monte-Carlo Test for Primality
- A Powerdomain Construction
- Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder))
- Expected time bounds for selection
- Formal models for some features of programming languages
Cited in
(89)- Decidability of finite probabilistic propositional dynamic logics
- Correctness of sequential Monte Carlo inference for probabilistic programming languages
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
- Proofs of randomized algorithms in Coq
- A generalisation of stationary distributions, and probabilistic program algebra
- Probabilistic abstract interpretation of imperative programs using truncated normal distributions
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
- Partial correctness for probabilistic demonic programs
- Dynamic logic with program specifications and its relational proof system
- An effect-theoretic account of Lebesgue integration
- An application of computable distributions to the semantics of probabilistic programming languages
- Generic weakest precondition semantics from monads enriched with order
- On finite-state approximants for probabilistic computation tree logic
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Learning probabilistic termination proofs
- Model checking finite-horizon Markov chains with probabilistic inference
- Probabilistic logics based on Riesz spaces
- Probabilistic NetKAT
- On higher-order probabilistic subrecursion
- On higher-order probabilistic subrecursion
- Probabilistic analysis of programs: a weak limit approach
- Conditioning in probabilistic programming
- Commutative semantics for probabilistic programming
- The beta-Bernoulli process and algebraic effects
- The probabilistic powerdomain for stably compact spaces
- VPHL: a verified partial-correctness logic for probabilistic programs
- The converse of a stochastic relation
- Continualization of probabilistic programs with correction
- Hennessy-Milner results for probabilistic PDL
- Measure and probability for concurrency theorists
- Borel kernels and their approximation, categorically
- Data-Driven Invariant Learning for Probabilistic Programs
- Unifying theories of programming with monads
- Reversible monadic computing
- Inferring expected runtimes of probabilistic integer programs using expected sizes
- Approximating labelled Markov processes
- Formal semantics of a classical-quantum language
- Confluence in probabilistic rewriting
- From probability monads to commutative effectuses
- Approximate counting in SMT and value estimation for probabilistic programs
- A probabilistic PDL
- Quantification of integrity
- Continuity spaces: Reconciling domains and metric spaces
- Stochastic differential dynamic logic for stochastic hybrid programs
- Reasoning about probabilistic sequential programs
- Moment-based analysis of Bayesian network properties
- Computable exchangeable sequences have computable de Finetti measures
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
- Commutativity of quantum weakest preconditions
- Characterizations of semantic domains for randomized algorithms
- Rigorous roundoff error analysis of probabilistic floating-point computations
- The expectation monad in quantum foundations
- A computable approach to measure and integration theory
- Understanding probabilistic programs
- Categories of timed stochastic relations
- Probabilistic rely-guarantee calculus
- Bisimulation for labelled Markov processes
- A type theory for probabilistic and Bayesian reasoning
- On Lexicographic Proof Rules for Probabilistic Termination
- Labelled Markov processes as generalised stochastic relations
- On the hardness of analyzing probabilistic programs
- On the hardness of almost-sure termination
- Automated termination analysis of polynomial probabilistic programs
- A probabilistic dynamic logic
- A probability perspective
- Semantics of probabilistic programs: a weak limit approach
- Weakest precondition reasoning for expected run-times of probabilistic programs
- A theory of slicing for probabilistic control flow graphs
- Control-data separation and logical condition propagation for efficient inference on probabilistic programs
- On probabilistic techniques for data flow analysis
- On lexicographic proof rules for probabilistic termination
- Multisets and distributions, in drawing and learning
- Structure in machine learning
- Generative Datalog with continuous distributions
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
- Does a Program Yield the Right Distribution?
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
- Curry and Howard meet Borel
- Measure transformer semantics for Bayesian machine learning
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Automatic alignment in higher-order probabilistic programming languages
- Probabilistic logic over paths
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
- scientific article; zbMATH DE number 7376040 (Why is no real title available?)
- Healthiness conditions for predicate transformers
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Proof theory of Riesz spaces and modal Riesz spaces
- Towards logical foundations for probabilistic computation
This page was built for publication: Semantics of probabilistic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1159979)
