2 search results - page 1 / 1 » ABC: Algebraic Bound Computation for Loops |
LPAR
2010
Springer
13 years 2 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...
PLILP
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...