This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Using Function Abstraction to Understand Program Behavior
January/February 1990 (vol. 7 no. 1)
pp. 55-63

The authors explain how to understand programs by abstracting program function. This abstraction is made possible by the algebraic structure and mathematical properties of structured programs. They describe an abstraction algorithm that provides a basis for a tool for automatic abstraction of program functions. They also explore what the goals of a program-abstraction tool should be. A miniature Cobol program for a banking application is used as an example.

Index Terms:
function abstraction; program behavior; algebraic structure; mathematical properties; structured programs; program-abstraction tool; Cobol program; banking; program diagnostics; software tools; structured programming
Citation:
Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner, "Using Function Abstraction to Understand Program Behavior," IEEE Software, vol. 7, no. 1, pp. 55-63, Jan.-Feb. 1990, doi:10.1109/52.43050
Usage of this product signifies your acceptance of the Terms of Use.