Module: ppl/ppl Branch: ppl-0_10-branch Commit: 11e028c0bff9d5060fde44011e47eb70c8006266 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11e028c0bff9d...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 9 20:59:40 2009 +0200

Acknowledge the contribution of INRIA.

---

CREDITS | 32 +++++++++++++++++++------------- 1 files changed, 19 insertions(+), 13 deletions(-)

diff --git a/CREDITS b/CREDITS index 18b7453..1771859 100644 --- a/CREDITS +++ b/CREDITS @@ -292,6 +292,10 @@ We are grateful for the following contributions: architectures. Many thanks to Thibaut Varene [50] and the PA-RISC Linux community [51] for their kind assistance.

+- INRIA [52] is supporting Abramo Bagnara from January 1st to May 31st, + 2009, to work on the PPL and its development infrastructure. + Many thanks go, in particular, to Albert Cohen [53]. +

Some of our research work has been partly supported by the following projects and organizations: @@ -300,31 +304,31 @@ projects and organizations: ``Pure and Applied Mathematics'';

- MURST project ``Automatic Program Certification by Abstract - Interpretation'' [52]; + Interpretation'' [54];

- MURST project ``Abstract Interpretation, Type Systems and Control-Flow Analysis'';

- MURST project ``Automatic Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, - and Maps'' [53]; + and Maps'' [55];

-- MURST project ``Constraint Based Verification of Reactive Systems'' [54]; +- MURST project ``Constraint Based Verification of Reactive Systems'' [56];

- MURST project ``AIDA - Abstract Interpretation: Design and - Applications'' [55]; + Applications'' [57];

- 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'' [56]; + ``Numerical Domains for Software Analysis'' [58];

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

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

--------

@@ -379,9 +383,11 @@ projects and organizations: [49] http://www.esiee.fr/ [50] http://www.parisc-linux.org/~varenet/ [51] http://www.parisc-linux.org/ -[52] http://theory.sci.univr.it/p40/ -[53] http://www.cs.unipr.it/Projects/COFIN01 -[54] http://www.disi.unige.it/person/DelzannoG/cover/ -[55] http://www.cs.unipr.it/Projects/AIDA/ -[56] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[57] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[52] http://www.inria.fr/ +[53] http://www-rocq.inria.fr/~acohen/ +[54] http://theory.sci.univr.it/p40/ +[55] http://www.cs.unipr.it/Projects/COFIN01 +[56] http://www.disi.unige.it/person/DelzannoG/cover/ +[57] http://www.cs.unipr.it/Projects/AIDA/ +[58] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[59] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html