A denotational semantics for low-level probabilistic programs with nondeterminism
From MaRDI portal
Publication:2133180
DOI10.1016/J.ENTCS.2019.09.016OpenAlexW2995312724WikidataQ113317347 ScholiaQ113317347MaRDI QIDQ2133180FDOQ2133180
Authors: Yanyan Li 
Publication date: 29 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2019.09.016
Recommendations
- Fine-grained semantics for probabilistic programs
- Semantics of probabilistic programs: a weak limit approach
- Application ofComputable Distributions to the Semantics of Probabilistic Programs
- Probabilistic semantics and program analysis
- Semantics of Probabilistic Programming: A Gentle Introduction
- Probabilistic semantics of terminating programs
- scientific article; zbMATH DE number 4076588
- An application of computable distributions to the semantics of probabilistic programming languages
- scientific article; zbMATH DE number 3890702
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cites Work
- Formal certification of code-based cryptographic proofs
- Cantor meets Scott: semantic foundations for probabilistic networks
- PCF extended with real numbers
- Directed hypergraphs and applications
- Title not available (Why is that?)
- Semantic domains for combining probability and non-determinism
- Title not available (Why is that?)
- A probabilistic PDL
- Precise interprocedural analysis through linear algebra
- Abstraction, Refinement and Proof for Probabilistic Systems
- Programming as a Discipline of Mathematical Nature
- Topology, domain theory and theoretical computer science
- Title not available (Why is that?)
- Semantics of probabilistic programs
- STACS 2005
- Axioms for probability and nondeterminism
- Title not available (Why is that?)
- Probabilistic relational reasoning for differential privacy
- Partial correctness for probabilistic demonic programs
- A Convenient Category for Higher-Order Probability Theory
- Abstraction Refinement for Probabilistic Software
- Title not available (Why is that?)
- Probabilistic termination: soundness, completeness, and compositionality
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
- Linear-invariant generation for probabilistic programs: automated support for proof-based methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- Runtime analysis of probabilistic programs with unbounded recursion
- A Unified Approach to Path Problems
- Title not available (Why is that?)
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
- How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
- Recursive Markov decision processes and recursive stochastic games
- Termination analysis of probabilistic programs through Positivstellensatz's
- Stochastic invariants for probabilistic termination
- Fine-grained semantics for probabilistic programs
- Probabilistic abstract interpretation
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Weakest precondition reasoning for expected run-times of probabilistic programs
- Conditioning in probabilistic programming
- Reasoning about Recursive Probabilistic Programs
- Title not available (Why is that?)
- A lambda-calculus foundation for universal probabilistic programming
- Commutative semantics for probabilistic programming
- Title not available (Why is that?)
Cited In (4)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
- Continualization of probabilistic programs with correction
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
- Title not available (Why is that?)
Uses Software
This page was built for publication: A denotational semantics for low-level probabilistic programs with nondeterminism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133180)
