[GIT] ppl/ppl(master): Bibliography updated.
Module: ppl/ppl Branch: master Commit: ac22982884b25962ce390fe6a6f043fc3352a765 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac22982884b25...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 11 08:45:38 2010 +0200
Bibliography updated.
---
doc/definitions.dox | 105 ++++++++++++++++++++++++++++++++++++++++++++------- 1 files changed, 91 insertions(+), 14 deletions(-)
diff --git a/doc/definitions.dox b/doc/definitions.dox index 6e9ec24..f2aa097 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2939,7 +2939,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> @@ -2980,7 +2980,7 @@ B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborg 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, + 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 @@ -3333,8 +3333,7 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. 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. + <em>Theoretical Computer Science</em>, 410(46):4672-4691, 2009.
</DD> @@ -3348,9 +3347,10 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. abstractions. Quaderno 492, Dipartimento di Matematica, Università di Parma, Italy, 2009. - Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. Also - published as <tt>arXiv:cs.CG/0904.1783</tt>, available from - <a href="http://arxiv.org/">http://arxiv.org/</a>. + Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. A corrected + and improved version (corrected an error in the statement of condition (3) of + Theorem 3.6, typos corrected in statement and proof of Theorem 6.8) has been + published in \ref BHZ09c "[BHZ09c]".
</DD> @@ -3360,9 +3360,39 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. <DD> \anchor BHZ09c 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 at <a href="http://arxiv.org/">http://arxiv.org/</a> and + <a href="http://www.cs.unipr.it/ppl/">http://www.cs.unipr.it/ppl/</a>. + + +</DD> + + +<DT>[BHZ09d]</DT> +<DD> +\anchor BHZ09d +R. Bagnara, P. M. Hill, and E. Zaffanella. Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. - Submitted for publication, 2009. + <em>Formal Methods in System Design</em>, 35(3):279-323, 2009. + + +</DD> + + +<DT>[BHZ10]</DT> +<DD> +\anchor BHZ10 +R. Bagnara, P. M. Hill, and E. Zaffanella. + Exact join detection for convex polyhedra and other numerical + 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>
@@ -3394,6 +3424,21 @@ V. Balasundaram and K. Kennedy. </DD>
+<DT>[BMPZ10]</DT> +<DD> +\anchor BMPZ10 +R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella. + The automatic synthesis of linear ranking functions: The complete + 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>. + +</DD> + + <DT>[BRZH02a]</DT> <DD> \anchor BRZH02a @@ -3535,6 +3580,27 @@ G. B. Dantzig. </DD>
+<DT>[FCB07]</DT> +<DD> +\anchor FCB07 +P. Feautrier, J.-F. Collard, and C. Bastoul. + <em>PIP/PipLib: A Solver for Parametric Integer Programming + Problems</em>, 5.0 edition, July 2007. + Distributed with PIP/PipLib 1.4.0. + +</DD> + + +<DT>[Fea88]</DT> +<DD> +\anchor Fea88 +P. Feautrier. + Parametric integer programming. + <em>RAIRO Recherche Opérationnelle</em>, 22(3):243-268, 1988. + +</DD> + + <DT>[FP96]</DT> <DD> \anchor FP96 @@ -3655,8 +3721,8 @@ N. Halbwachs. N. Halbwachs. Delay analysis in synchronous programs. In C. Courcoubetis, editor, <em>Computer Aided Verification: - Proceedings of the 5th International Conference</em>, volume 697 of <em>Lecture - Notes in Computer Science</em>, pages 333-346, Elounda, Greece, 1993. + Proceedings of the 5th International Conference (CAV'93)</em>, volume 697 of <em> + Lecture Notes in Computer Science</em>, pages 333-346, Elounda, Greece, 1993. Springer-Verlag, Berlin.
</DD> @@ -3799,9 +3865,9 @@ H. W. Kuhn. </DD>
-<DT>[LeV92]</DT> +<DT>[Le 92]</DT> <DD> -\anchor LeV92 +\anchor Le 92 H. Le Verge. A note on Chernikova's algorithm. <em>Publication interne</em> 635, IRISA, Campus de Beaulieu, Rennes, @@ -4128,9 +4194,9 @@ D. Srivastava. </DD>
-<DT>[SS07]</DT> +<DT>[SS07a]</DT> <DD> -\anchor SS07 +\anchor SS07a R. Sen and Y. N. Srikant. Executable analysis using abstract interpretation with circular linear progressions. @@ -4141,6 +4207,17 @@ R. Sen and Y. N. Srikant. </DD>
+<DT>[SS07b]</DT> +<DD> +\anchor SS07b +R. Sen and Y. N. Srikant. + Executable analysis with circular linear progressions. + Technical Report IISc-CSA-TR-2007-3, Department of Computer Science + and Automation, Indian Institute of Science, Bangalore, India, 2007. + +</DD> + + <DT>[SW70]</DT> <DD> \anchor SW70
participants (1)
-
Roberto Bagnara