Using function abstraction to understand program behavior
- 1 January 1990
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 7 (1) , 55-63
- https://doi.org/10.1109/52.43050
Abstract
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.Keywords
This publication has 2 references indexed in Scilit:
- A method for data re-engineering in structured programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Software maintenance as an engineering disciplinePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988