Although there exists rare cases where exponential algorithms are used with success, practical software projects mostly consist of polynomial code. We present an automatic analysis tool which divides while-loops in a Java software project into clearly polynomial ones and the rest. The analysis can be useful for example in software quality assurance, maintenance and design of new programming lan...

Furthermore, by using [2, p. 230, (1)] a computable representation for the G-function in (1) (and hence also for F,112(s)) may be given in terms of essentially a linear combination of four hypergeometric functions OF3[b2s2 /16] provided that no two of the parameters {1, 1 1+v-P1v-P) differ by an integer. This result for Fv-112(s) is given (correctly) in [3, p. 353, (9)] so that the proposed int...