This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Method for Analyzing Loop Programs
May 1979 (vol. 5 no. 3)
pp. 237-247
ASCII Text
x 
 
R.C. Waters, "A Method for Analyzing Loop Programs," IEEE Transactions on Software Engineering, vol. 5, no. 3, pp. 237-247, May, 1979.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1979.234185,
author = {R.C. Waters},
title = {A Method for Analyzing Loop Programs},
journal ={IEEE Transactions on Software Engineering},
volume = {5},
number = {3},
issn = {0098-5589},
year = {1979},
pages = {237-247},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1979.234185},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - A Method for Analyzing Loop Programs
IS - 3
SN - 0098-5589
SP237
EP247
EPD - 237-247
A1 - R.C. Waters,
PY - 1979
KW - program understanding
KW - Loops
KW - plans
KW - program analysis
KW - program verification
VL - 5
JA - IEEE Transactions on Software Engineering
ER -
 
R.C. Waters, Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology
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.
Index Terms:
program understanding, Loops, plans, program analysis, program verification
Citation:
R.C. Waters, "A Method for Analyzing Loop Programs," IEEE Transactions on Software Engineering, vol. 5, no. 3, pp. 237-247, May 1979, doi:10.1109/TSE.1979.234185
Usage of this product signifies your acceptance of the Terms of Use.