Predicate transformer semantics

Known as: Weakest liberal precondition, Weakest precondition, WLP 
Predicate transformer semantics have been introduced by Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
This paper establishes a link between Bayesian inference (learning) and predicate and state transformer operations from… (More)
Is this relevant?
2012
2012
G. Plotkin and the author [13] have worked out the equivalenc e between state transformer semantics and predicate transformer… (More)
Is this relevant?
2002
2002
Circus is a combination of Z and CSP; its chief distinguishing feature is the inclusion of the ideas of the refinement calculus… (More)
Is this relevant?
2001
2001
Using a set-theoretic model of predicate transformers and ordered data types, we give a total-correctness semantics for a higher… (More)
Is this relevant?
1999
1999
We present a high level speciication and reenement framework for concurrent real-time processes with strict message passing based… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Probabilistic predicates generalize standard predicates over a state space; with probabilistic predicate transformers one thus… (More)
  • figure I
Is this relevant?
1993
1993
A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Gardiner, P., and C. Morgan, Data refinement of predicate transformers, Theoretical Computer Science 87 (1991) 143-162. Data… (More)
Is this relevant?
1989
1989
We develop the semantics of a language with arbitrary atomic statements, unbounded nondeterminacy, and mutual recursion. The… (More)
Is this relevant?
1983
1983
A proof rule for the procedure call is derived for procedures with value, result and value-result parameters. It is extended to… (More)
Is this relevant?