A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language

DOI10.1016/J.APAL.2008.06.020MaRDI QIDQ1023294zbMATH OpenOpenAlexFDO

Authors Klaus Keimel, A. Rosenbusch, Thomas Streicher

Publication date 11 June 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2008.06.020

zbMATH Keywords

Minkowski dualityprobabilistic nondeterministic languagesemantics

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Convex sets in topological vector spaces (aspects of convex geometry) (52A07) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
• Predicate transformers for extended probability and non-determinism
• A predicate/state transformer semantics for Bayesian learning
• The duality of state and observation in probabilistic transition systems
• Convex language semantics for nondeterministic probabilistic automata
• Structural transformations of probabilistic finite state machines
• A denotational semantics for low-level probabilistic programs with nondeterminism
• On finite-state approximants for probabilistic computation tree logic
• Towards a calculus of predicate transformers

Cites work

• Abstraction, Refinement and Proof for Probabilistic Systems
• Continuous Lattices and Domains
• Demonic, angelic and unbounded probabilistic choices in sequential programs
• Domain-Theoretic Foundations of Functional Programming
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 2090722 (Why is no real title available?)
• Partial correctness for probabilistic demonic programs
• Predicate transformers for extended probability and non-determinism
• Retracted: Semantic domains for combining probability and non-determinism
• Support functions of convex compacta

Cited in

(3)

• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
• Healthiness conditions for predicate transformers
• Generic weakest precondition semantics from monads enriched with order

This page was built for publication: A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1023294)