The core development team is delighted to announce the availability of
a new paper on the PPL. "The Parma Polyhedra Library: Toward a
Complete Set of Numerical Abstractions for the Analysis and
Verification of Hardware and Software Systems" is the first published
paper that covers, though not in depth, all the main features of the
PPL. It is a very recommended reading for anyone using or considering
to use the library. Besides listing several important features that
---we suspect--- most users are unaware of, it illustrates the current
development plans for the library and reviews some of the applications
using it.
Roberto Bagnara <bagnara(a)cs.unipr.it>
Patricia M. Hill <hill(a)comp.leeds.ac.uk>
Enea Zaffanella <zaffanella(a)cs.unipr.it>
[1] http://www.cs.unipr.it/ppl/Documentation/bibliography#BagnaraHZ06TR
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
