Mathematics of Program Construction

DOI10.1007/B98756MaRDI QIDQ5313085zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(14)

• Stepwise refinement of sequence diagrams with soft real-time constraints
• Automated reasoning for probabilistic sequential programs with theorem proving
• Probabilistic Choice in Refinement Algebra
• Predicate transformers for extended probability and non-determinism
• Predicative programming Part II
• Reasoning about Recursive Probabilistic Programs
• Probabilistic agent programs
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Probabilistic programming inference via intensional semantics
• A probability perspective
• 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
• Programming with quantum communication
• 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)