Mathematics of Program Construction
From MaRDI portal
Publication:5313085
Cited in
(13)- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Reasoning about Recursive Probabilistic Programs
- Probabilistic Choice in Refinement Algebra
- Probabilistic programming inference via intensional semantics
- Automated reasoning for probabilistic sequential programs with theorem proving
- Predicative programming Part II
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- A probability perspective
- Probabilistic agent programs
- Predicate transformers for extended probability and non-determinism
- Modelling higher-order dual nondeterminacy
This page was built for publication: Mathematics of Program Construction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5313085)