Semantics of probabilistic programs
From MaRDI portal
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
(only showing first 100 items - show all)- Measure transformer semantics for Bayesian machine learning
- Inferring expected runtimes of probabilistic integer programs using expected sizes
- Healthiness conditions for predicate transformers
- Learning probabilistic termination proofs
- Model checking finite-horizon Markov chains with probabilistic inference
- Reversible monadic computing
- Towards logical foundations for probabilistic computation
- Quantitative verification with neural networks
- Semantics of probabilistic programs: a weak limit approach
- On higher-order probabilistic subrecursion
- A computable approach to measure and integration theory
- On higher-order probabilistic subrecursion
- On the hardness of almost-sure termination
- Weakest precondition reasoning for expected run-times of probabilistic programs
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Dynamic logic with program specifications and its relational proof system
- Control-data separation and logical condition propagation for efficient inference on probabilistic programs
- Reasoning about probabilistic sequential programs
- Partial correctness for probabilistic demonic programs
- Correctness of sequential Monte Carlo inference for probabilistic programming languages
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
- Stochastic differential dynamic logic for stochastic hybrid programs
- On the hardness of analyzing probabilistic programs
- An application of computable distributions to the semantics of probabilistic programming languages
- Commutative semantics for probabilistic programming
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
- Understanding probabilistic programs
- The probabilistic powerdomain for stably compact spaces
- Approximating labelled Markov processes
- A probabilistic dynamic logic
- On Lexicographic Proof Rules for Probabilistic Termination
- Commutativity of quantum weakest preconditions
- Decidability of finite probabilistic propositional dynamic logics
- A theory of slicing for probabilistic control flow graphs
- An interval-based abstraction for quantifying information flow
- Hennessy-Milner results for probabilistic PDL
- Borel kernels and their approximation, categorically
- Unifying theories of programming with monads
- Quantification of integrity
- A type theory for probabilistic and Bayesian reasoning
- A probabilistic PDL
- Probabilistic NetKAT
- Continuity spaces: Reconciling domains and metric spaces
- Probabilistic analysis of programs: a weak limit approach
- Automated termination analysis of polynomial probabilistic programs
- The converse of a stochastic relation
- scientific article; zbMATH DE number 7376040 (Why is no real title available?)
- A generalisation of stationary distributions, and probabilistic program algebra
- Continualization of probabilistic programs with correction
- Probabilistic output analysis by program manipulation
- The syntactic side of autonomous categories enriched over generalised metric spaces
- The expectation monad in quantum foundations
- Integration in cones
- On lexicographic proof rules for probabilistic termination
- On finite-state approximants for probabilistic computation tree logic
- Generic weakest precondition semantics from monads enriched with order
- Categories of timed stochastic relations
- Multisets and distributions, in drawing and learning
- Structure in machine learning
- Propositional logics for the Lawvere quantale
- Proof theory of Riesz spaces and modal Riesz spaces
- Probabilistic logics based on Riesz spaces
- A partial metric semantics of higher-order types and approximate program transformations
- Weighted automata for exact inference in discrete probabilistic programs
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
- The complexity of verifying loop-free programs as differentially private
- An effect-theoretic account of Lebesgue integration
- Proofs of randomized algorithms in Coq
- Bisimulation for labelled Markov processes
- Confluence in probabilistic rewriting
- Rigorous roundoff error analysis of probabilistic floating-point computations
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- A probability perspective
- Probabilistic abstract interpretation of imperative programs using truncated normal distributions
- On iteration in discrete probabilistic programming
- From probability monads to commutative effectuses
- Approximate counting in SMT and value estimation for probabilistic programs
- VPHL: a verified partial-correctness logic for probabilistic programs
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
- Does a Program Yield the Right Distribution?
- Curry and Howard meet Borel
- Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Formal semantics of a classical-quantum language
- Moment-based analysis of Bayesian network properties
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
- Measure and probability for concurrency theorists
- The beta-Bernoulli process and algebraic effects
- Computable exchangeable sequences have computable de Finetti measures
- Probabilistic rely-guarantee calculus
- Labelled Markov processes as generalised stochastic relations
- Data-Driven Invariant Learning for Probabilistic Programs
- On probabilistic techniques for data flow analysis
- Automatic alignment in higher-order probabilistic programming languages
- Conditioning in probabilistic programming
- Characterizations of semantic domains for randomized algorithms
- Probabilistic logic over paths
- Data-driven invariant learning for probabilistic programs
- Generative Datalog with continuous distributions
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)
