Understanding natural programs using proper decomposition
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Automated program recognitionArtificial Intelligence, 1990
- Knowledge-based program analysisIEEE Software, 1990
- Using function abstraction to understand program behaviorIEEE Software, 1990
- Recognizing a program's design: a graph-parsing approachIEEE Software, 1990
- Designing documentation to compensate for delocalized plansCommunications of the ACM, 1988
- Program translation via abstraction and reimplementationIEEE Transactions on Software Engineering, 1988
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Cognitive strategies and looping constructsCommunications of the ACM, 1983
- Automatic Structuring of ProgramsIBM Journal of Research and Development, 1975
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968