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