Module: ppl/ppl Branch: master Commit: 1ac6a88a25b74badf7626f7e8c87da43aecd42a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac6a88a25b74...
Author: Roberto Bagnara bagnara@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