•   Home
  • Proceedings
  • 2012 International Conference on Computational Intelligence ...

2012 International Conference on Computational Intelligence and Software Engineering (CiSE 2012)(E-BOOK)

Wuhan,China,2012-12-142012-12-162012

ISBN: 978-1-61896-036-8 Scientific Research Publishing

E-Book 275pp Pub. Date: December 2012

Category: Computer Science & Communications

Price: $100

Title: Estimation of Loop Iteration Number Based on Chains of Recurrence Algebra
Source: 2012 International Conference on Computational Intelligence and Software Engineering (CiSE 2012)(E-BOOK) (pp 223-227)
Author(s): Xiaohong Li, College of Information Technical Science,Nankai University,Tianjin,China
Xiujuan Ji, College of Information Technical Science,Nankai University,Tianjin,China
Jufeng Yang, College of Information Technical Science,Nankai University,Tianjin,China
Jing Xu, College of Information Technical Science,Nankai University,Tianjin,China
Abstract: In this paper, we present a mathematical method to estimate iteration number of while loops based on Chains of Recurrence Algebra. The loop variables are represented as mathematically equivalent CR expressions. Then the closed-form function about the loop iteration number is computed by CR rules. Besides, we propose a novel loop summary in order to analyze nested loops. The result of each loop analysis makes up a loop summary. According to these loop summaries it computes the loop iteration number applying inside and outside iterative method. It has been effective at analyzing some benchmark programs, the actual analysis results show that the method can work accurately.
Proceedings by Subjects
Resources
Products
Contact us
book@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1243940697
Book Publishing WeChat
Follow SCIRP
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top