BIT Numerical Mathematics

, Volume 12, Issue 3, pp 334–341

A note on the for statement

  • C. A. R. Hoare
Article

Abstract

This note discusses methods of defining the for statement in high level languages and suggests a proof rule intended to reflect the proper role of a for statement in computer programming. It concludes with a suggestion for possible generalisation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BIT Foundations 1972

Authors and Affiliations

  • C. A. R. Hoare
    • 1
  1. 1.Department of Computer ScienceThe Queen's University of BelfastBelfastNorthern Ireland

Personalised recommendations