Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Abd-El-Hafiz, Salwa K. Add to Alert Profile  
Date Reviewed  
  1 - 1 of 1 reviews    
  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  

Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy