[PPL-announce] New paper on the PPL

I have the pleasure to inform you that the paper "Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library" (by Roberto Bagnara, Elisa Ricci, Enea Zaffanella, and Patricia M. Hill) has been accepted for presentation at SAS'02 (the 9th International Static Analysis Symposium) and inclusion in its proceedings. Congratulations to all those that have invested their time and energies.

The final version of the paper will soon appear on our Web site (http://www.cs.unipr.it/ppl/). See http://clip.dia.fi.upm.es/SAS02/ for more information about SAS'02. All the best

Roberto

P.S. Watch out: the (revolutionary) release 0.4 of the PPL is imminent!