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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 28 11:46:39 2012 +0100

Added a missing project and updated a broken link.

---

CREDITS | 16 ++++++++++------ 1 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/CREDITS b/CREDITS index fe664a0..82b9bf7 100644 --- a/CREDITS +++ b/CREDITS @@ -350,17 +350,20 @@ projects and organizations: - PRIN project ``AIDA 2007 - Abstract Interpretation: Design and Applications'' [62];

+- Integrated Action Italy-Spain 2001-2002 ``Advanced Development Environments + for Logic Programs'' [63]; + - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations'';

- EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [63]; + ``Numerical Domains for Software Analysis'' [64];

- Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [64]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [65];

- EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [64]. + ``Geometric Abstractions for Scalable Program Analyzers'' [65].

--------

@@ -368,7 +371,7 @@ projects and organizations: [2] http://www.comp.leeds.ac.uk/hill/ [3] http://www.cs.unipr.it/~zaffanella/ [4] http://www.math.unipr.it/~zaccagni/ - [5] http://www.prism.uvsq.fr/~fgalea/ + [5] http://fgalea.free.fr/ [6] http://www.mundell.ukfsn.org/ [7] http://www.lsi.upc.edu/~erodri/ [8] http://www.irisa.fr/lande/fbesson/fbesson.html @@ -426,5 +429,6 @@ projects and organizations: [60] http://www.disi.unige.it/person/DelzannoG/cover/ [61] http://www.cs.unipr.it/Projects/AIDA/ [62] http://www.cs.unipr.it/Projects/AIDA2007/ -[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[63] http://www.cs.unipr.it/Projects/AzInt2001-2002Sp +[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[65] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html