# Predicate transformer semantics

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Electr. Notes Theor. Comput. Sci.
- 2016

This paper establishes a link between Bayesian inference (learning) and predicate and state transformer operations fromâ€¦Â (More)

Is this relevant?

2012

2012

- ArXiv
- 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

- 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

- Sci. Comput. Program.
- 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

- ARTS
- 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

- ACM Trans. Program. Lang. Syst.
- 1996

Probabilistic predicates generalize standard predicates over a state space; with probabilistic predicate transformers one thusâ€¦Â (More)

Is this relevant?

1993

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

- Theor. Comput. Sci.
- 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

- Acta Informatica
- 1989

We develop the semantics of a language with arbitrary atomic statements, unbounded nondeterminacy, and mutual recursion. Theâ€¦Â (More)

Is this relevant?

1983

1983

- Acta Informatica
- 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?