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
Search
  Abd-El-Hafiz, Salwa K. Add to Alert Profile  
 
Options:
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 decompose loops in...
...
Jun 1 1997  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy