Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
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… Expand
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The IC3 algorithm was recently introduced for proving properties of finite state reactive systems. It has been applied very… Expand
  • figure 1
Is this relevant?
2004
2004
SummaryWe develop the semantics of a language with arbitrary atomic statements, unbounded nondeterminacy, and mutual recursion… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract The two models presented in this paper provide two different semantics for an extension of Dijkstra's language of… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract We construct a hierarchy of semantics by successive abstract interpretations. Starting from a maximal trace semantics of… Expand
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Probabilistic predicates generalize standard predicates over a state space; with probabilistic predicate transformers one thus… Expand
  • figure I
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Message Sequence Charts are a widely used technique for the visualization of the communications between system components. We… Expand
  • figure 2
  • figure 1
  • table 1
  • table 2
  • table 3
Is this relevant?
1992
1992
  • E. Manes
  • Cambridge tracts in theoretical computer science
  • 1992
  • Corpus ID: 116932755
1. Finite coproducts 2. Structure of a Boolean category 3. Metatheory 4. Distributive categories Bibliography Index. 
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Dijkstra's programming language is extended by <italic>specification statements</italic>, which specify parts of a program “yet… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
We have shown that correctness properties of parallel programs can be described using computation trees and that from these… Expand
Is this relevant?