Section: Partnerships and Cooperations
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.
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.