Although there exist 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 polynomial ones and the rest. The analysis can be useful for example in software quality assurance, maintenance and design of new programming language idioms.
After running our tool on two sets of several medium size Java projects we conclude that almost 80% of while-loops are trivially polynomial.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten