Semantics of probabilistic programs

1981/06/01 by Dexter Kozen · 27 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification

paper · doi:10.1016/0022-0000(81)90036-2

Cited by

• A probabilistic PDL
• DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models
• Reasoning about Recursive Probabilistic Programs
• Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
• Conditioning in Probabilistic Programming
• RankPL: A Qualitative Probabilistic Programming Language
• Verification Logics for Quantum Programs
• Formal Semantics of a Classical-Quantum Language
• On the Hardness of Almost-Sure Termination
• Quantum Domain Theory - Definitions and Applications
• Large Language Models as Nondeterministic Causal Models
• Results on the quantitative mu-calculus qMu
• Weighted Automata for Exact Inference in Discrete Probabilistic Programs
• Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
• A Theory of Slicing for Probabilistic Control-Flow Graphs
• Verifying Sampling Algorithms via Distributional Invariants
• Healthiness from Duality
• Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
• To Zip Through the Cost Analysis of Probabilistic Programs
• A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
• Raising Expectations: Automating Expected Cost Analysis with Types
• Proving Almost-Sure Termination of Probabilistic Programs via\n Incremental Pruning
• Quantifying Program Bias
• Effectuses in Categorical Quantum Foundations
• Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
• Conditioning in Probabilistic Programming
• Sound Probabilistic Inference via Guide Types