A Method for Analyzing Loop Programs
- 1 May 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-5 (3), 237-247
- https://doi.org/10.1109/tse.1979.234185
Abstract
This paper presents a method for automatically analyzing loops, and discusses why it is a useful way to look at loops. The method is based on the idea that there are four basic ways in which the logical structure of a loop is built up. An experiment is presented which shows that this accounts for the structure of a large class of loops. The paper discusses how the method can be used to automatically analyze the structure of a loop, and how the resulting analysis can be used to guide a proof of correctness for the loop. An automatic system is described which performs this type of analysis. The paper discusses the relationship between the structure building methods presented and programming language constructs. A system is described which is designed to assist a person who is writing a program. The intent is that the system will cooperate with a programmer throughout aUl phases of work on a program and be able to communicate with the programmer about it.Keywords
This publication has 14 references indexed in Scilit:
- Control Computations and the Design of Loop Control StructuresIEEE Transactions on Software Engineering, 1978
- Compilation and delayed evaluation in APLPublished by Association for Computing Machinery (ACM) ,1978
- Subgoal inductionCommunications of the ACM, 1977
- Abstraction mechanisms in CLUPublished by Association for Computing Machinery (ACM) ,1977
- Logical analysis of programsCommunications of the ACM, 1976
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976
- Proving loop programsIEEE Transactions on Software Engineering, 1975
- The synthesis of loop predicatesCommunications of the ACM, 1974
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967