[PPL-devel] [GIT] ppl/ppl(master): Bibliography updated.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Apr 11 09:08:53 CEST 2010
Module: ppl/ppl
Branch: master
Commit: ac22982884b25962ce390fe6a6f043fc3352a765
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac22982884b25962ce390fe6a6f043fc3352a765
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list