Accueil/ recherche

Recherche


compilateur

3 résultat(s) sur le site


> Vous pouvez aussi chercher parmi nos archives

Affiner la recherche


Expression exacte Du
L'un des mots suivants Au
Tous les mots suivants
Ne contenant pas les mots suivants
Exposés (2)  Titre        Date 
photoExpose
Scade 6: conception d'un langage de programmation synchrone
Bruno Pagano
13/01/2016
Conférence de Bruno Pagano organisée par le département d’informatique. Scade 6: Conception d'un langage de programmation synchrone et réalisation de son compilateur pour les systèmes embarqués critiques Dans le contexte des systèmes embarqués crit...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, modélisation, programmation, langages de programmation synchrones
photoExpose
Comment faire confiance à un compilateur ?
Xavier Leroy
13/03/2014
Conférence de Xavier Leroy dans le cadre du Séminaire général du département d’informatique Le logiciel critique - celui dont dépendent des vies humaines - nécessite des techniques de développement et de validation très particulières pour atteindre ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, Code, programmation, analyseur, compilateur


Auteurs (1)
Xavier Leroy
INRIA