Advertisement

Extreme solutions of equations

  • Edsger W. Dijkstra
Conference paper
Part of the NATO ASI Series book series (volume 36)

Abstract

In the previous chapter we have encountered a number of statements S, for which the predicate transformers wlp(S,?) and wp(S,?) were given in closed form. In the next chapter we shall encounter a statement for which the predicates wlp(S,X) and wp(S,X) are given as solutions of equations of the form
$${\text{Y }}:{\text{ }}\left[ {{\text{b}}.\left( {{\text{X}},{\text{Y}}} \right)} \right].$$
(0)

Here, b is a function from predicate pairs to predicates, i.e. b.(X,Y) is a boolean structure, [b.(X,Y)] is a boolean expression in X and Y , which for given X and Y is either true or false.

Keywords

Weak Solution Closed Form Strong Solution Duality Theorem Extreme Solution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  1. 1.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations