A note on the for statement

DOI10.1007/BF01932305zbMath0246.68003MaRDI QIDQ5659054

C. A. R. Hoare

Publication date: 1972

Published in: BIT (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Mechanical inference of invariants for FOR-loops, Synthesis of the programmed functions offor loops on data structures, Verification of a finite iteration over data structures, Language design methods based on semantic principles, Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs, Source program optimization with a generalized FOR statement, Symbolic verification method for definite iteration over data structures, An axiomatic definition of the programming language Pascal

Uses Software

• ALGOL 68

Cites Work

• Report on the algorithmic language ALGOL 68
• The programming language Pascal
• A contribution to the development of ALGOL
• An axiomatic basis for computer programming
• Unnamed Item