Contact English version

L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à jour sur notre équipe.

Langages synchrones

Présentation

Les activités de recherche poursuivies par l'axe «Langages synchrones» sont tournées autour de la conception et de la réalisation de langages dédiés à la programmation de systèmes embarqués. Ces langages reposent à la fois sur le modèle de concurrence synchrone et les principes des langages fonctionnels.

Les activités de recherche de l'axe «Langages synchrones» se déroulent actuellement dans l'équipe Parkas du Département d'Informatique de l'École Normale Supérieure.

Développement de logiciel

Contrats

Publications liées à la thématique

INRIA Saclay - Île-de-France