Nuovo articolo in stampa su Information and Computation

L’articolo A New Look at the Automatic Synthesis of Linear Ranking Functions è stato accettato per la pubblicazione su Information and Computation. Questo lavoro presenta due algoritmi per la sintesi di funzioni di ranking lineari che hanno importanti applicazioni nell’analisi automatica di terminazione dei programmi. Gli algoritmi sono completamente implementati nella Parma Polyhedra Library.