[PPL-devel] [GIT] ppl/w3ppl(master): Added JeannetM09.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jul 17 20:37:16 2009 +0200

Added JeannetM09.

---

 htdocs/Documentation/ppl_citations.bib |   30 ++++++++++++++++++++++++++++--
 1 files changed, 28 insertions(+), 2 deletions(-)

diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib
index d3e8d14..52b0992 100644
--- a/htdocs/Documentation/ppl_citations.bib
+++ b/htdocs/Documentation/ppl_citations.bib
@@ -1181,7 +1181,7 @@
   Author = "D. Gopan and T. W. Reps",
   Title = "Lookahead Widening",
   Booktitle = "Computer Aided Verification:
-               Proceedings of the 18th International Conference",
+               Proceedings of the 18th International Conference (CAV 2006)",
   Address = "Seattle, Washington, USA",
   Editor = "T. Ball and R. B. Jones",
   Publisher = "Springer-Verlag, Berlin",
@@ -1205,7 +1205,7 @@
   Author = "D. Gopan and T. W. Reps",
   Title = "Low-Level Library Analysis and Summarization",
   Booktitle = "Computer Aided Verification:
-               Proceedings of the 19th International Conference",
+               Proceedings of the 19th International Conference (CAV 2007)",
   Address = "Berlin, Germany",
   Editor = "W. Damm and H. Holger",
   Publisher = "Springer-Verlag, Berlin",
@@ -1536,6 +1536,32 @@
               techniques."
 }
 
+ at Inproceedings{JeannetM09,
+  Author = "B. Jeannet and A. Min{\'e}",
+  Title = "Apron: A Library of Numerical Abstract Domains for Static
+           Analysis",
+  Booktitle = "Computer Aided Verification,
+               Proceedings of the 21st International Conference (CAV 2009)",
+  Address = "Grenoble, France",
+  Editor = "A. Bouajjani and O. Maler",
+  Publisher = "Springer",
+  Series = "Lecture Notes in Computer Science",
+  Volume = 5643,
+  Pages = "661--667",
+  Year = 2009,
+  ISBN = "978-3-642-02657-7",
+  Abstract = "This article describes \textsc{Apron}, a freely
+              available library dedicated to the static analysis of
+              the numerical variables of programs by abstract
+              interpretation. Its goal is threefold: provide analysis
+              implementers with ready-to-use numerical abstractions
+              under a unified API, encourage the research in numerical
+              abstract domains by providing a platform for integration
+              and comparison, and provide teaching and demonstration
+              tools to disseminate knowledge on abstract
+              interpretation."
+}
+
 @Incollection{KimGR07,
   Author = "D. Kim and G. Gupta and S. V. Rajopadhye",
   Title = "On Control Signals for Multi-Dimensional Time",