December 2006 - PPL-devel - BUGSENG Mailman

New paper describing the Parma Polyhedra Library
by Roberto Bagnara 20 Dec '06

20 Dec '06

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

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 21:14:59 Modified files: htdocs : news.raw ppl.raw Log message: Missing colons added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 21:07:45 Modified files: htdocs : news.raw ppl.raw Log message: Spurious braces removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraHZ06 ...
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 21:07:29 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraHZ06TR.pdf Log message: Added a PDF URL to BagnaraHZ06TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 21:02:21 Modified files: htdocs : news.raw ppl.raw Log message: Added a news item concerning the publication of BagnaraHZ06TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 19:37:41 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Flexeder05th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 19:16:48 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added ChakrabortyMS06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 19:06:28 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added CovaFBV06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 18:41:57 Modified files: htdocs/Documentation: ppl_citations.bib Log message: AsarinDFGLGM06 is no longer "to appear." Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 20 Dec '06

20 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-20 18:41:32 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Completed vanHeeOSV06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0