scientific article; zbMATH DE number 3890702
From MaRDI portal
Publication:3347262
Recommendations
- Linking theories of probabilistic programming
- Foundations of probabilistic programming
- Probabilistic Programs as Measures
- Understanding probabilistic programs
- Linking theories in probabilistic programming
- Reasoning about Recursive Probabilistic Programs
- Application ofComputable Distributions to the Semantics of Probabilistic Programs
- scientific article; zbMATH DE number 1104373
- Reasoning about probabilistic sequential programs
Cited in
(14)- Reasoning about Recursive Probabilistic Programs
- Reasoning about probabilistic sequential programs
- Decidability of finite probabilistic propositional dynamic logics
- An assertion-based program logic for probabilistic programs
- A probabilistic PDL
- Theory and practice of uncertain programming
- Credibilistic programming. An introduction to models and applications
- scientific article; zbMATH DE number 1692951 (Why is no real title available?)
- A lambda-calculus foundation for universal probabilistic programming
- Refinement algebra for probabilistic programs
- Statistical mechanics of program systems
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Probabilistic agent programs
- Linking theories in probabilistic programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347262)
