[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Jun 27 08:38:08 2012 +0200

Updated.

---

 doc/definitions.dox |   42 ++++++++++++++++++++++++++++++------------
 1 files changed, 30 insertions(+), 12 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index d0c2da4..f0ae250 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2958,7 +2958,7 @@ C. Ancourt.
 <DT>[BA05]</DT>
 <DD>
 \anchor BA05
-J. M. Bjorndalen and O. Anshus.
+J. M. Bjørndalen and O. Anshus.
  Lessons learned in benchmarking - Floating point benchmarks: Can
   you trust them?
  In <em>Proceedings of the <em>Norsk informatikkonferanse 2005</em>
@@ -3014,8 +3014,6 @@ B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborg
 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella.
  A linear domain for analyzing the distribution of numerical values.
  Report 2005.06, School of Computing, University of Leeds, UK, 2005.
- Available at
-  <a href="http://www.comp.leeds.ac.uk/research/pubs/reports.shtml">http://www.comp.leeds.ac.uk/research/pubs/reports.shtml</a>.
 
 
 </DD>
@@ -3409,8 +3407,6 @@ R. Bagnara, P. M. Hill, and E. Zaffanella.
   abstractions.
  <em>Computational Geometry: Theory and Applications</em>,
   43(5):453-473, 2010.
- To appear in print. Available online at
-  <a href="http://dx.doi.org/10.1016/j.comgeo.2009.09.002">http://dx.doi.org/10.1016/j.comgeo.2009.09.002</a>.
 
 
 </DD>
@@ -3451,9 +3447,31 @@ R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella.
   unabridged version.
  Quaderno 498, Dipartimento di Matematica, Università di Parma,
   Italy, 2010.
- Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. Also
-  published as <tt>arXiv:cs.PL/1004.0944</tt>, available from
-  <a href="http://arxiv.org/">http://arxiv.org/</a>.
+ Superseded by \ref BMPZ12a "[BMPZ12a]".
+
+</DD>
+
+
+<DT>[BMPZ12a]</DT>
+<DD>
+\anchor BMPZ12a
+R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella.
+ The automatic synthesis of linear ranking functions: The complete
+  unabridged version.
+ Report <tt>arXiv:cs.PL/1004.0944v2</tt>, 2012.
+ Available at <a href="http://arxiv.org/">http://arxiv.org/</a> and
+  <a href="http://bugseng.com/products/ppl/">http://bugseng.com/products/ppl/</a>. Improved version of
+  \ref BMPZ10 "[BMPZ10]".
+
+</DD>
+
+
+<DT>[BMPZ12b]</DT>
+<DD>
+\anchor BMPZ12b
+R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella.
+ A new look at the automatic synthesis of linear ranking functions.
+ <em>Information and Computation</em>, 215:47-–67, 2012.
 
 </DD>
 
@@ -3518,7 +3536,8 @@ P. Cousot and R. Cousot.
 P. Cousot and R. Cousot.
  Systematic design of program analysis frameworks.
  In <em>Proceedings of the Sixth Annual ACM Symposium on Principles
-  of Programming Languages</em>, pages 269-282, New York, 1979. ACM Press.
+  of Programming Languages</em>, pages 269-282, San Antonio, TX, USA, 1979. ACM
+  Press.
 
 
 </DD>
@@ -3844,8 +3863,7 @@ T. A. Henzinger, J. Preussig, and H. Wong-Toi.
 \anchor Jea02
 B. Jeannet.
  <em>Convex Polyhedra Library</em>, release 1.1.3c edition, March 2002.
- Documentation of the “New Polka” library available at
-  <a href="http://www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html">http://www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html</a>.
+ Documentation of the “New Polka” library.
 
 </DD>
 
@@ -3869,7 +3887,7 @@ J. Jaffar, M. J. Maher, P. J. Stuckey, and R. H. C. Yap
 L. Khachiyan, E. Boros, K. Borys, K. Elbassioni, and V. Gurvich.
  Generating all vertices of a polyhedron is hard.
  <em>Discrete and Computational Geometry</em>, 2006.
- Invited contribution. To appear.
+ Invited contribution.
 
 </DD>