Using function abstraction to understand program behavior

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 progra...

Full description

Saved in:
Bibliographic Details
Published in:IEEE software 1990-01, Vol.7 (1), p.55-63
Main Authors: Hausler, P.A., Pleszkoch, M.G., Linger, R.C., Hevner, A.R.
Format: Article
Language:English
Subjects:
Algorithms
Automatic control
Automatic logic units
Automation
Banking
Control systems
Documentation
Educational institutions
Flowcharts
Frequency
Milling machines
Pricing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
ISSN:0740-7459
1937-4194
DOI:10.1109/52.43050