Abd-El-Hafiz, Salwa K.
All Media Types
A Knowledge-Based Approach to the Analysis of Loops
Abd-El-Hafiz S., Basili V. IEEE Transactions on Software Engineering 22(5): 339-360, 1996. Type: Article
A knowledge-based approach to loop analysis is presented. First-order predicate logic annotations are generated as a result of the analysis. A taxonomy classifies loops according to their complexity. Dataflow analysis is used to decomp...
Jun 1 1997
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2023 ThinkLoud