Predicate transformers for extended probability and non-determinism

DOI10.1017/S0960129509007555zbMath1175.68253MaRDI QIDQ3636909

Klaus Keimel, Gordon D. Plotkin

Publication date: 30 June 2009

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

powerdomains; nondeterminism; predicate transformers; state transformers

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

06B35: Continuous lattices and posets, applications

18C20: Eilenberg-Moore and Kleisli constructions for monads

Related Items

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language, A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language, Weak topologies and compactness in asymmetric functional analysis, De Groot duality and models of choice: angels, demons and nature

Cites Work

• Power domains and second-order predicates
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Exact functionals and their core
• Reasoning about probabilistic sequential programs in a probabilistic logic
• Sur la fonction d'appui des ensembles convexes dans un espace localement convexe
• Abstraction, Refinement and Proof for Probabilistic Systems
• Continuous Lattices and Domains
• A domain-theoretic Banach–Alaoglu theorem
• MINKOWSKI DUALITY AND ITS APPLICATIONS
• Sublinear Functionals and Ideals in Partially Ordered Vector Spaces
• Robust Statistics
• Demonic, angelic and unbounded probabilistic choices in sequential programs
• Partial correctness for probabilistic demonic programs