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

This article is in development and will be visible upon completion of the peer-review process. For more details, please log in.

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 peer-reviewed open-access encyclopedia
Retrieved from "http://www.scholarpedia.org/article/Hoare_logic"
For authors