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

(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)