COLOR : Protection dans les langages de programmation
En construction

Documents de travail

• Texte de la proposition (html)
• Texte de la proposition (pdf)

Les équipes

• INRIA – Projet OASIS (SmartTools) : http://www-sop.inria.fr/oasis/ (http://www-sop.inria.fr/oasis/Didier.Parigot)
• I3S - Projet OCL : http://www.i3s.unice.fr/~ocl/   (http://www-iutinfo.unice.fr/~lahire/ OFL/french/f-partie_ofl.html)
• LIRMM – Projet RPO : http://www.lirmm.fr/~ducour/index.html (http://www.lirmm. fr/~ardourel)

Les participants

• Didier Parigot (OASIS - SmartTools),
• Philippe Lahire et Pierre Crescenzo (OCL)
• Gilles Ardourel, Marianne Huchard, Critstophe Dony et Thérèse Libourel (RPO).

Didier Parigot.
e-mail:Didier.Parigot@inria.fr
Tél: 04 92 38 50 01
Fax: 04 92 38 76 44