Project Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Partnerships and Cooperations

Regional initiatives

Digiteo Metal

Participants : Fran├žois Pottier, Nicolas Pouillard.

The Metal project (2008-2011) of the Digiteo RTRA is coordinated by Fran├žois Pottier. It focuses on formal foundations and static type systems for meta-programming.

Digiteo Hisseo

Participant : Xavier Leroy.

The Hisseo project (2008-2011) of the Digiteo RTRA is coordinated by Pascal Cuoq at CEA LIST. It studies issues related to floating-point arithmetic in static analyzers and verified compilers.