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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Dec 29 10:33:00 2013 +0100

Several corrections.

---

doc/ppl.bib | 5 +++-- doc/ppl_citations.bib | 40 ++++++++++++++++++++-------------------- 2 files changed, 23 insertions(+), 22 deletions(-)

diff --git a/doc/ppl.bib b/doc/ppl.bib index cbb16bb..931706e 100644 --- a/doc/ppl.bib +++ b/doc/ppl.bib @@ -1670,8 +1670,9 @@ Summarizing: @InProceedings{GopanDMDRS04, Author = "D. Gopan and F. DiMaio and N. Dor and T. W. Reps and M. Sagiv", Title = "Numeric Domains with Summarized Dimensions", - Booktitle = "Tools and Algorithms for the Construction and Analysis - of Systems, 10th International Conference, TACAS 2004", + Booktitle = "Proceedings of the 10th International Conference + Tools and Algorithms for the Construction and Analysis + of Systems (TACAS 2004)", Address = "Barcelona, Spain", Editor = "K. Jensen and A. Podelski", Publisher = "Springer-Verlag, Berlin", diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index da581a2..6d686e9 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -665,9 +665,9 @@ Summarizing: @Inproceedings{ArmandoBM07, Author = "A. Armando and M. Benerecetti and J. Mantovani", Title = "Abstraction Refinement of Linear Programs with Arrays", - Booktitle = "Proceedings of the 13th International Conference on - Tools and Algorithms for the Construction and Analysis - of Systems (TACAS 2007)", + Booktitle = "Tools and Algorithms for the Construction and Analysis + of Systems: Proceedings of the 13th International Conference + (TACAS 2007)", Address = "Braga, Portugal", Editor = "O. Grumberg and M. Huth", Publisher = "Springer-Verlag, Berlin", @@ -1008,9 +1008,9 @@ Summarizing: @Inproceedings{BozgaGI09, Author = "M. Bozga and C. G^{\i}rlea and R. Iosif", Title = "Iterating Octagons", - Booktitle = "Proceedings of the 15th International Conference on - Tools and Algorithms for the Construction and Analysis - of Systems (TACAS 2009)", + Booktitle = "Tools and Algorithms for the Construction and Analysis + of Systems: Proceedings of the 15th International Conference + (TACAS 2009)", Address = "York, UK", Editor = "S. Kowalewski and A. Philippou", Publisher = "Springer-Verlag, Berlin", @@ -1047,8 +1047,8 @@ Summarizing: Author = "M. Bozga and R. Iosif and F. Kone\v{c}n'y", Title = "Deciding Conditional Termination", Booktitle = "Tools and Algorithms for the Construction and Analysis - of Systems: - 18th International Conference, {TACAS} 2012", + of Systems: Proceedings of the 18th International Conference + (TACAS 2012)", Address = "Tallinn, Estonia", Editor = "C. Flanagan and B. K{"o}nig", Publisher = "Springer-Verlag, Berlin", @@ -2328,7 +2328,7 @@ Summarizing: Title = "Donut Domains: Efficient Non-convex Domains for Abstract Interpretation", Booktitle = "Verification, Model Checking, and Abstract Interpretation: - Proceedings of the 13th International Conference ({VMCAI} 2012)", + Proceedings of the 13th International Conference (VMCAI 2012)", Address = "Philadelphia, PA, USA", Editor = "V. Kuncak and A. Rybalchenko", Publisher = "Springer-Verlag, Berlin", @@ -2781,9 +2781,9 @@ Summarizing: @Inproceedings{GulavaniR06, Author = "B. S. Gulavani and S. K. Rajamani", Title = "Counterexample Driven Refinement for Abstract Interpretation", - Booktitle = "Proceedings of the 12th International Conference on - Tools and Algorithms for the Construction and Analysis - of Systems (TACAS 2006)", + Booktitle = "Tools and Algorithms for the Construction and Analysis + of Systems: Proceedings of the 12th International Conference + (TACAS 2006)", Address = "Vienna, Austria", Editor = "H. Hermanns and J. Palsberg", Pages = "474--488", @@ -3089,11 +3089,11 @@ Summarizing: adapted for static analysis of computer software by abstract interpretation. We expose how concept of the sweeping line can be used to represent elements of a - numerical abstract domain of boxes, which is a + numerical abstract domain of \emph{boxes}, which is a disjunctive refinement of a well known domain of - intervals that allows finite number of disjunctions. We - provide a detailed description of the representation - along with standard domain operations + \emph{intervals} that allows finite number of + disjunctions. We provide a detailed description of the + representation along with standard domain operations algorithms. Furthermore we introduce very precise widening operator for the domain. Additionally we show that the presented idea of the representation based on @@ -3479,9 +3479,9 @@ Summarizing: Author = "D. Lime and O. H. Roux and C. Seidner and L.-M. Traonouez", Title = "Romeo: A Parametric Model-Checker for {Petri} Nets with Stopwatches", - Booktitle = "Proceedings of the 15th International Conference - Tools and Algorithms for the Construction and Analysis - of Systems (TACAS 2009)", + Booktitle = "Tools and Algorithms for the Construction and Analysis + of Systems: Proceedings of the 15th International Conference + (TACAS 2009)", Address = "York, UK", Editor = "S. Kowalewski and A. Philippou", Publisher = "Springer-Verlag, Berlin", @@ -3795,7 +3795,7 @@ Summarizing:

}

-@Inproceedings{MihailaSS13b, +@Inproceedings{MihailaSS13, Author = "B. Mihaila and A. Sepp and A. Simon", Title = "Widening as Abstract Domain", Booktitle = "NASA Formal Methods: