Hoare logic

From Scholarpedia

This article has not been peer-reviewed or accepted for publication yet; It may be unfinished, contain inaccuracies, or unapproved changes.

Author: Dr. C. Anthony R. Hoare, Microsoft Research/Oxford University

While this article is empty, see Hoare logic on Amazon.

Dr. C. Anthony R. Hoare accepted the invitation on 8 April 2008 (self-imposed deadline: 8 October 2008).

Suggested by: Mr. David Bouchain, Institute of Neural Information Processing, Ulm University, Germany
Invited by: Dr. Eugene M. Izhikevich, Editor-in-Chief of Scholarpedia, the free peer reviewed encyclopedia
For authors