[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Bibliography updated.

Roberto Bagnara bagnara at cs.unipr.it
Sun Apr 12 10:44:29 CEST 2009 

Module: ppl/ppl
Branch: ppl-0_10-branch
Commit: 1ac6a88a25b74badf7626f7e8c87da43aecd42a3
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac6a88a25b74badf7626f7e8c87da43aecd42a3

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 12 09:31:41 2009 +0200

Bibliography updated.

The generated bibliography required manual intervention in a few
places, also because of a couple of Doxygen bugs and limitations (see
http://bugzilla.gnome.org/show_bug.cgi?id=578739 and
http://bugzilla.gnome.org/show_bug.cgi?id=578740).

---

 devtools/generate_dox_biblio.sed |    6 +-
 doc/definitions.dox              |  133 ++++++++++++++++++++++++++++++-------
 2 files changed, 112 insertions(+), 27 deletions(-)

diff --git a/devtools/generate_dox_biblio.sed b/devtools/generate_dox_biblio.sed
index c92ec5b..eb09337 100644
--- a/devtools/generate_dox_biblio.sed
+++ b/devtools/generate_dox_biblio.sed
@@ -7,9 +7,11 @@ s|<table\b[^>]*>|<DL>|
 s|\[ <a href[^>]*>[^<]*</a\b[^>]*> ]||
 s|<tr\b[^>]*>.*<td\b[^>]*>.*\[<a name="\([^"]*\)">\(.*\)</a[^>]*>].*</td\b[^>]*>.*<td\b[^>]*>\(.*\)</td\b[^>]*>.*</tr\b[^>]*>|<DT>[\2]</DT>\
 <DD>\
-\\anchor \1\3</DD>|
-s|\[<a href="#\([^"]*\)">\([^<]*\)</a>]|\\ref \1 "[\2]"|g
+\\anchor \2\3</DD>|
+s|\[<a href="#\([^"]*\)">\([^<]*\)</a>]|\\ref \2 "[\2]"|g
 s/[ab]2002/2002/g
+s|\(\\anchor [^ ]*\)<sup>+</sup>|\1etal|
+s|\(\\ref [^ ]*\)<sup>+</sup>|\1etal|
 /<\/table/ i\
 </DL>
 /<\/table/,$ d
diff --git a/doc/definitions.dox b/doc/definitions.dox
index d6ef265..123bb92 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -1642,7 +1642,7 @@ Given two sequences of intervals defining two \f$n\f$-dimensional boxes, the
 <EM>CC76-widening</EM> applies, for each corresponding interval and bound, the
 interval constraint widening defined in \ref CC76 "[CC76]".
 For extra precision, this incorporates the widening with thresholds
-as defined in \ref BCCFMMMR02 "[BCCFMMMR02]" with
+as defined in \ref BCCetal02 "[BCCetal02]" with
 \f$\{-2, -1, 0, 1, 2\}\f$ as the set of default threshold values.
 
 \section Weakly_Relational_Shapes Weakly-Relational Shapes
@@ -2750,6 +2750,19 @@ C. Ancourt.
 </DD>
 
 
+<DT>[BA05]</DT>
+<DD>
+\anchor BA05
+J. M. Bjorndalen and O. Anshus.
+ Lessons learned in benchmarking - Floating point benchmarks: Can
+  you trust them?
+ In <em>Proceedings of the <em>Norsk informatikkonferanse 2005</em>
+  (NIK 2005)</em>, pages 89-100, Bergen, Norway, 2005. Tapir Akademisk Forlag.
+
+
+</DD>
+
+
 <DT>[Bag97]</DT>
 <DD>
 \anchor Bag97
@@ -2774,7 +2787,23 @@ R. Bagnara.
 </DD>
 
 
-<DT>[BDHetal05]</DT>
+<DT>[BCC<sup>+</sup>02]</DT>
+<DD>
+\anchor BCCetal02
+B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné,
+  D. Monniaux, and X. Rival.
+ Design and implementation of a special-purpose static program
+  analyzer for safety-critical real-time embedded software.
+ In T. AE. Mogensen, D. A. Schmidt, and I. Hal Sudborough,
+  editors, <em>The Essence of Computation, Complexity, Analysis,
+  Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th
+  birthday]</em>, volume 2566 of <em>Lecture Notes in Computer Science</em>, pages
+  85-108. Springer-Verlag, Berlin, 2002.
+
+</DD>
+
+
+<DT>[BDH<sup>+</sup>05]</DT>
 <DD>
 \anchor BDHetal05
 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella.
@@ -2787,7 +2816,7 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z
 </DD>
 
 
-<DT>[BDHetal06]</DT>
+<DT>[BDH<sup>+</sup>06]</DT>
 <DD>
 \anchor BDHetal06
 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella.
@@ -2799,7 +2828,7 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z
 </DD>
 
 
-<DT>[BDHetal07]</DT>
+<DT>[BDH<sup>+</sup>07]</DT>
 <DD>
 \anchor BDHetal07
 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella.
@@ -2813,6 +2842,29 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z
 </DD>
 
 
+<DT>[BFT00]</DT>
+<DD>
+\anchor BFT00
+A. Bemporad, K. Fukuda, and F. D. Torrisi.
+ Convexity recognition of the union of polyhedra.
+ Report AUT00-13, Automatic Control Laboratory, ETHZ, Zurich,
+  Switzerland, 2000.
+
+
+</DD>
+
+
+<DT>[BFT01]</DT>
+<DD>
+\anchor BFT01
+A. Bemporad, K. Fukuda, and F. D. Torrisi.
+ Convexity recognition of the union of polyhedra.
+ <em>Computational Geometry: Theory and Applications</em>,
+  18(3):141-154, 2001.
+
+</DD>
+
+
 <DT>[BGP99]</DT>
 <DD>
 \anchor BGP99
@@ -3089,6 +3141,43 @@ R. Bagnara, P. M. Hill, and E. Zaffanella.
 </DD>
 
 
+<DT>[BHZ09a]</DT>
+<DD>
+\anchor BHZ09a
+R. Bagnara, P. M. Hill, and E. Zaffanella.
+ Applications of polyhedral computations to the analysis and
+  verification of hardware and software systems.
+ <em>Theoretical Computer Science</em>, 2009.
+ To appear.
+
+
+</DD>
+
+
+<DT>[BHZ09b]</DT>
+<DD>
+\anchor BHZ09b
+R. Bagnara, P. M. Hill, and E. Zaffanella.
+ Exact join detection for convex polyhedra and other numerical
+  abstractions.
+ Report <tt>arXiv:cs.CG/0904.1783</tt>, 2009.
+ Available from <a href="http://arxiv.org/">http://arxiv.org/</a>.
+
+
+</DD>
+
+
+<DT>[BHZ09c]</DT>
+<DD>
+\anchor BHZ09c
+R. Bagnara, P. M. Hill, and E. Zaffanella.
+ Weakly-relational shapes for numeric abstractions: Improved
+  algorithms and proofs of correctness.
+ Submitted for publication, 2009.
+
+</DD>
+
+
 <DT>[BJT99]</DT>
 <DD>
 \anchor BJT99
@@ -3157,23 +3246,6 @@ R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill.
 </DD>
 
 
-<DT>[BRZH02c]</DT>
-<DD>
-\anchor BCCFMMMR02
-B. Blanchet, P. Cousot, R. Cousot, J. Feret,
-  L. Mauborgne, A. Miné, D. Monniaux
-  and X. Rival.
- Design and Implementation of a Special-Purpose Static Program
-  Analyzer for Safety-Critical Real-Time Embedded Software.
-  In T.  Mogensen, D. A. Schmidt
-     and I. Hal Sudborough, editors,
-  <em>The Essence of Computation, Complexity, Analysis,
-   Transformation.  Essays Dedicated to Neil D. Jones [on
-   occasion of his 60th birthday]</em>, volume 2566 of <em>Lecture
-  Notes in Computer Science</em>, pages 85-108, 2002.
-
-</DD>
-
 <DT>[CC76]</DT>
 <DD>
 \anchor CC76
@@ -3300,7 +3372,7 @@ K. Fukuda.
 </DD>
 
 
-<DT>[GDDetal04]</DT>
+<DT>[GDD<sup>+</sup>04]</DT>
 <DD>
 \anchor GDDetal04
 D. Gopan, F. DiMaio, N. Dor, T. W. Reps, and M. Sagiv.
@@ -3517,7 +3589,7 @@ J. Jaffar, M. J. Maher, P. J. Stuckey, and R. H. C. Yap
 </DD>
 
 
-<DT>[KBBetal06]</DT>
+<DT>[KBB<sup>+</sup>06]</DT>
 <DD>
 \anchor KBBetal06
 L. Khachiyan, E. Boros, K. Borys, K. Elbassioni, and V. Gurvich.
@@ -3538,9 +3610,9 @@ H. W. Kuhn.
 </DD>
 
 
-<DT>[Le 92]</DT>
+<DT>[LeV92]</DT>
 <DD>
-\anchor Le 92
+\anchor LeV92
 H. Le Verge.
  A note on Chernikova's algorithm.
  <em>Publication interne</em> 635, IRISA, Campus de Beaulieu, Rennes,
@@ -3783,6 +3855,17 @@ P. Quinton, S. Rajopadhye, and T. Risset.
 </DD>
 
 
+<DT>[QRW00]</DT>
+<DD>
+\anchor QRW00
+F. Quilleré, S. V. Rajopadhye, and D. Wilde.
+ Generation of efficient nested loops from polyhedra.
+ <em>International Journal of Parallel Programming</em>, 28(5):469-498,
+  2000.
+
+</DD>
+
+
 <DT>[RBL06]</DT>
 <DD>
 \anchor RBL06

More information about the PPL-devel mailing list