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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 12 11:03:35 2010 +0100

Updated BagnaraHZ10FMSD.

---

htdocs/Documentation/BagnaraHZ10FMSD.pdf | Bin 0 -> 448185 bytes htdocs/Documentation/ppl.bib | 7 ++++--- 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/htdocs/Documentation/BagnaraHZ10FMSD.pdf b/htdocs/Documentation/BagnaraHZ10FMSD.pdf new file mode 100644 index 0000000..21c80da Binary files /dev/null and b/htdocs/Documentation/BagnaraHZ10FMSD.pdf differ diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index cec9899..f9ebe16 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -936,15 +936,15 @@ URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TCS.pdf" }

-@Article{BagnaraHZ09FMSD, +@Article{BagnaraHZ10FMSD, 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", Publisher = "Springer-Verlag, Berlin", - Year = 2009, + Year = 2010, Note = "To appear in print. Available online at - \url{http://www.springerlink.com/content/d40842574t1r5877/%7D", + \url{http://www.springerlink.com/content/100266/?Content+Status=Accepted%7D", Abstract = "Weakly-relational numeric constraints provide a compromise between complexity and expressivity that is adequate for several applications in the field of formal @@ -972,6 +972,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" }

@Techreport{BagnaraHZ09TRa,