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

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

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