[PPL-devel] [GIT] ppl/ppl(master): Several improvements.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Dec 29 11:41:21 2013 +0100

Several improvements.

---

 doc/ppl.bib           |    4 ++--
 doc/ppl_citations.bib |   20 ++++++++++++--------
 2 files changed, 14 insertions(+), 10 deletions(-)

diff --git a/doc/ppl.bib b/doc/ppl.bib
index 931706e..9374746 100644
--- a/doc/ppl.bib
+++ b/doc/ppl.bib
@@ -744,8 +744,8 @@ Summarizing:
            and the Double Description Method",
   Journal = "Formal Aspects of Computing",
   Publisher = "Springer-Verlag, London",
-  Volume = "17",
-  Number = "2",
+  Volume = 17,
+  Number = 2,
   Pages = "222--257",
   Year = 2005,
   ISSN = "0934-5043",
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 32e3a39..4e47958 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -1016,7 +1016,7 @@ Summarizing:
   Publisher = "Springer-Verlag, Berlin",
   Series = "Lecture Notes in Computer Science",
   Volume = 5505,
-  Pages = "337-351",
+  Pages = "337--351",
   Year = 2009,
   ISBN = "978-3-642-00767-5",
   Abstract = "In this paper we prove that the transitive closure of a
@@ -1307,7 +1307,7 @@ Summarizing:
   Booktitle = "Computer Aided Verification:
                Proceedings of the 25th International Conference (CAV 2013)",
   Year      = 2013,
-  Pages     = "511-526",
+  Pages     = "511--526",
   Editor    = "N. Sharygina and H. Veith",
   Publisher = "Springer-Verlag, Berlin",
   Series    = "Lecture Notes in Computer Science",
@@ -3837,11 +3837,14 @@ Summarizing:
               merely aim for precision."
 }
 
- at Inproceedings{MontenegroSEP12,
-  Author = "M. Montenegro and O. Shkaravska and M. {van Eekelen} and R. Pe\~{n}a",
-  Title = "Interpolation-Based Height Analysis for Improving a Recurrence Solver",
+ at Incollection{MontenegroSEP12,
+  Author = "M. Montenegro and O. Shkaravska and M. {van Eekelen}
+            and R. Pe\~{n}a",
+  Title = "Interpolation-Based Height Analysis for Improving
+           a Recurrence Solver",
   Booktitle = "Foundational and Practical Aspects of Resource Analysis:
-               Second International Workshop, {FOPARA} 2011",
+               Second International Workshop (FOPARA 2011),
+               Revised Selected Papers",
   Editor = "R. Pe\~{n}a and M. {van Eekelen} and O. Shkaravska",
   Address = "Madrid, Spain",
   Pages = "36--53",
@@ -4255,7 +4258,7 @@ Summarizing:
   Journal = "Bioinformatics",
   Publisher = "Oxford University Press",
   Volume = 25,
-  Number = "12",
+  Number = 12,
   Pages = "i169--i178",
   Year = 2009,
   Note = "Paper accepted for presentation at the 2009 ISMB/ECCB Conference,
@@ -5197,7 +5200,8 @@ Summarizing:
 @Inproceedings{ZanioliFC12,
   Author = "M. Zanioli and P. Ferrara and A. Cortesi",
   Title = "{SAILS}: Static Analysis of Information Leakage with Sample",
-  Booktitle = "Proceedings of the 27th Annual {ACM} Symposium on Applied Computing",
+  Booktitle = "Proceedings of the 27th Annual ACM Symposium
+               on Applied Computing",
   Editor ="C.-C. Hung and J. Hong",
   Year = 2012,
   ISBN = "978-1-4503-0857-1",