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

Author: Roberto Bagnara bagnara@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." }

+@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",