6 search results - page 2 / 2 » Symbolic summation with radical expressions |
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...