Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Seminar/2009-02-25  + (Pierre-Étienne Moreau est Chargé de Recher … Pierre-Étienne Moreau est Chargé de Recherche à l'INRIA</br>Nancy-Grand Est, responsable de l'équipe Pareo. Il s'intéresse au</br>développement d'outils et de langages permettant de développer plus</br>rapidement des applications complexes et ceci de manière plus sûre.</br>Dans ce cadre, il a développé au cours de sa thèse le compilateur du</br>langage ELAN. Depuis 2001, il coordonne le développement de</br>l'environnement Tom, qui permet d'intégrer et d'utiliser les</br>notions de réécriture, de stratégie, de filtrage équationnel dans un</br>environnement de programmation Java. Les principales applications à ce</br>jour sont la réalisation de compilateurs, d'outils d'analyse et de</br>transformation de programmes, ainsi que des prouveurs automatiques.mes, ainsi que des prouveurs automatiques.)

• Seminar/2009-02-25  + (Patrick Viry a obtenu un doctorat d'inform … Patrick Viry a obtenu un doctorat d'informatique à l'INRIA-Lorraine en</br>1992. Il a poursuivi une carrière de chercheur à l'Université de</br>Kyoto, sur deux thèmes principaux: les modèles théoriques du</br>parallélisme et les outils de développement de type éditeur</br>syntaxique. Il a rejoint l'industrie en 1999, d'abord dans une société</br>japonaise réalisant des contrats pour le MITI, puis en tant</br>qu'architecte du langage OPL chez Ilog. Il a fondé Ateji en 2005 pour</br>développer et commercialiser des technologies innovantes dans le</br>domaine des langages et des outils de programmation.s langages et des outils de programmation.)