Module: ppl/w3ppl Branch: master Commit: 95aeed2f9400810369dc2be7e5d8ff3f7fc61d67 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=95aeed2f940...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 4 11:59:35 2010 +0200

BRZH02a is (of course) no longer a current reference for the PPL.

---

htdocs/Documentation/papers.raw | 33 +++++++++++++++++++++++---------- 1 files changed, 23 insertions(+), 10 deletions(-)

diff --git a/htdocs/Documentation/papers.raw b/htdocs/Documentation/papers.raw index 6547536..dcc8ed1 100644 --- a/htdocs/Documentation/papers.raw +++ b/htdocs/Documentation/papers.raw @@ -29,17 +29,14 @@ These can be divided into two categories:

<TR valign="top"> <TD align="right"> -[<A HREF="bibliography#BagnaraRZH02">BRZH02a</A>] +[<A HREF="bibliography#BagnaraHZH08SCP">BHZ08b</A>] <TD> -R.&nbsp;Bagnara, E.&nbsp;Ricci, E.&nbsp;Zaffanella, and P.&nbsp;M. Hill. - Possibly not closed convex polyhedra and the Parma Polyhedra - Library. - In M.&nbsp;V. Hermenegildo and G.&nbsp;Puebla, editors, <EM>Static Analysis: - Proceedings of the 9th International Symposium</EM>, volume 2477 of <EM>Lecture - Notes in Computer Science</EM>, pages 213-229, Madrid, Spain, 2002. - Springer-Verlag, Berlin.<br /> -[ <A HREF="http://www.cs.unipr.it/ppl/Documentation/BagnaraRZH02.pdf">PDF</A>, - <A HREF="http://www.cs.unipr.it/ppl/Documentation/BagnaraRZH02.pdf">BibTeX</A> ] +R.&nbsp;Bagnara, P.&nbsp;M. Hill, and E.&nbsp;Zaffanella. + The Parma Polyhedra Library: Toward a complete set of numerical + abstractions for the analysis and verification of hardware and software + systems. + <EM>Science of Computer Programming</EM>, 72(1-2):3-21, 2008. +[<a href="http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ08SCP.pdf">.pdf</a>] <BLOCKQUOTE> This is the paper to read or cite if you are interested in or referring to the Parma Polyhedra Library in general: @@ -267,6 +264,22 @@ automatic program verifiers.

<TR valign="top"> <TD align="right"> +[<A HREF="bibliography#BagnaraRZH02">BRZH02a</A>] +<TD> +R.&nbsp;Bagnara, E.&nbsp;Ricci, E.&nbsp;Zaffanella, and P.&nbsp;M. Hill. + Possibly not closed convex polyhedra and the Parma Polyhedra + Library. + In M.&nbsp;V. Hermenegildo and G.&nbsp;Puebla, editors, <EM>Static Analysis: + Proceedings of the 9th International Symposium</EM>, volume 2477 of <EM>Lecture + Notes in Computer Science</EM>, pages 213-229, Madrid, Spain, 2002. + Springer-Verlag, Berlin.<br /> + [<A HREF="http://www.cs.unipr.it/ppl/Documentation/BagnaraRZH02.pdf">.pdf</A>] +<BLOCKQUOTE> +This is the first published paper about the Parma Polyhedra Library in general. +</BLOCKQUOTE> + +<TR valign="top"> +<TD align="right"> [<A HREF="http://www.cs.unipr.it/ppl/Documentation#BagnaraRZH02TR">BRZH02b</A>] </TD> <TD>