Dealing With Numeric Fields in Termination Analysis of Java-Like Languages

Download Now Free registration required

Executive Summary

Termination analysis tools strive to find proofs of termination for as wide a class of (terminating) programs as possible. Though several tools exist which are able to prove termination of non-trivial programs, when one tries to apply them to realistic programs, there are still a number of open problems. In the case of Java-like languages, one of such problems is to find a practical solution to prove termination when the termination behaviour of loops is affected by numeric fields.

  • Format: PDF
  • Size: 140.2 KB