Encyclopedia > 1439

  Article Content


All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Hoare logic

... after C is executed. Then the following expression {P} C {Q} is an expression in Hoare logic, also known as a Hoare triple. Note that if C does not terminate, then ...