Nombre de documents trouvés : 5 documents

Mise en œuvre d'un langage à mobilité forte Epardaud S. Université de Nice Sophia-Antipolis (18/02/2008), Manuel Serrano (Dir.) [tel-00264028 − version 1]

Programmation Réactive Synchrone, Langage et Contrôle des Ressources Dabrowski F. Université Denis Diderot - Paris VII (22/06/2007), Roberto Amadio & Gérard Boudol (Dir.) [tel-00151974 − version 1]

Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes Ciabrini D. Université de Nice Sophia-Antipolis (03/10/2006), Manuel Serrano (Dir.) [tel-00122789 − version 1]

Construction et simulation graphiques de comportements : le modèle des Icobjs Brunette C. Université de Nice Sophia-Antipolis (20/10/2004), Frederic Boussinot (Dir.) [tel-00327441 − version 1]

Récursion généralisée et inférence de types avec intersection ZIMMER P. Université de Nice Sophia-Antipolis (29/04/2004), BOUDOL Gérard (Dir.) [tel-00006314 − version 1]

L'URL de cette page est : http://tel.archives-ouvertes.fr/lab/mimosa/