Module: ppl/w3ppl Branch: master Commit: 18776b2a1e59fdeae8f7316041b858eca420595a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18776b2a1e5...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 14 11:18:28 2010 +0100

BagnaraHZ10FMSD renamed and completed.

---

.../{BagnaraHZ10FMSD.pdf => BagnaraHZ09FMSD.pdf} | Bin 448185 -> 448185 bytes htdocs/Documentation/ppl.bib | 11 ++++++----- 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/htdocs/Documentation/BagnaraHZ10FMSD.pdf b/htdocs/Documentation/BagnaraHZ09FMSD.pdf similarity index 100% rename from htdocs/Documentation/BagnaraHZ10FMSD.pdf rename to htdocs/Documentation/BagnaraHZ09FMSD.pdf diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index a65f5ad..47ba14e 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -936,15 +936,16 @@ URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TCS.pdf" }

-@Article{BagnaraHZ10FMSD, +@Article{BagnaraHZ09FMSD, Author = "R. Bagnara and P. M. Hill and E. Zaffanella", Title = "Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness", Journal = "Formal Methods in System Design", + Volume = 35, + Number = 3, Publisher = "Springer-Verlag, Berlin", - Year = 2010, - Note = "To appear in print. Available online at - \url{http://www.springerlink.com/content/100266/?Content+Status=Accepted%7D", + Year = 2009, + Pages = "279--323", Abstract = "Weakly-relational numeric constraints provide a compromise between complexity and expressivity that is adequate for several applications in the field of formal @@ -972,7 +973,7 @@ rational and integer octagonal constraints. The consequences of implementing weakly-relational numerical domains with floating point numbers are also discussed.", - URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ10FMSD.pdf" + URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09FMSD.pdf" }

@Techreport{BagnaraHZ09TRa,