Mathematics of Program Construction
From MaRDI portal
Publication:5313085
DOI10.1007/B98756zbMATH Open1106.68341OpenAlexW2492557863MaRDI QIDQ5313085FDOQ5313085
Authors: Eric C. R. Hehner 
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98756
Cited In (13)
- 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
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
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)
