Encyclopedia > 1439

  Article Content

1439



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