Module: ppl/w3ppl Branch: master Commit: 3bec1b7bd7ff798d4c9d2bda11c132bca96bf323 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=3bec1b7bd7f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 15 08:15:23 2009 +0200 BagnaraHZ09 will be published in Formal Methods in System Design. --- htdocs/Documentation/ppl.bib | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 5a52eec..cdf6073 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -896,12 +896,14 @@ URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TCS.pdf" } -@Unpublished{BagnaraHZ09, +@Article{BagnaraHZ09, 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, - Note = "Submitted for publication", + Note = "To appear.", Abstract = "Weakly-relational numeric constraints provide a compromise between complexity and expressivity that is adequate for several applications in the field of formal