[PPL-devel] [GIT] ppl/ppl(master): Several corrections.
Roberto Bagnara
roberto.bagnara at bugseng.com
Sun Dec 29 10:33:49 CET 2013
Module: ppl/ppl
Branch: master
Commit: 8fb99a8c84bb175cc116f98215d600a11d2efc25
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fb99a8c84bb175cc116f98215d600a11d2efc25
Author: Roberto Bagnara <roberto.bagnara at 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:
}
- at Inproceedings{MihailaSS13b,
+ at Inproceedings{MihailaSS13,
Author = "B. Mihaila and A. Sepp and A. Simon",
Title = "Widening as Abstract Domain",
Booktitle = "NASA Formal Methods:
More information about the PPL-devel
mailing list