New paper to appear on Information and Computation

The paper A New Look at the Automatic Synthesis of Linear Ranking Functions has been accepted for publication on Information and Computation. The paper presents two algorithms for the synthesis of linear ranking functions that have important applications in automatic termination analysis of computer programs. The algorithms are fully implemented in the Parma Polyhedra Library.