On 04/08/10 13:50, Aziem Chawdhary wrote:

Dear Prof. Roberto Bagnara and Prof. Enea Zaffanella,

I have just seen your very interesting paper on linear ranking functions on Arxiv. The paper mentions that your algorithms are implemented in PPL, but I cannot find a reference to this in the documentation for PPL.

Are the implementations in the git version of PPL and is there any documentation for using the functions to generate ranking relations?

Any pointers would be very much appreciated.

Thanks, Aziem Chawdhary

Dear Aziem, yes, the implementation is in the Git repository. From time to time we also post a release snapshot at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ The paper together with the PPL documentation contain all the information you need. However, please do not hesitate to ask on ppl-devel@cs.unipr.it if you need help. All the best, Roberto P.S. I will post an updated snapshot later today. I will mail you when this is available. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it