[PPL-devel] [GIT] ppl/w3ppl(master): BRZH02a is (of course) no longer a current reference for the PPL.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill.
-  Possibly not closed convex polyhedra and the Parma Polyhedra
-  Library.
-  In M. V. Hermenegildo and G. 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. Bagnara, P. M. Hill, and E. 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. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill.
+  Possibly not closed convex polyhedra and the Parma Polyhedra
+  Library.
+  In M. V. Hermenegildo and G. 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>