Présentation et objectifs généraux

Mots clés : Langages à objets, langages fonctionnels, évaluation partielle, réécriture, machines abstraites, sémantique opérationnelle, délégation et plongement, preuve, analyse statique, Java, carte Java, systèmes intégrés, code mobile, applets, sécurité, réseaux, vérification de bytecode, machine virtuelle .

Résumé :

L'équipe PLUME s'est donnée deux objectifs : comprendre la sémantique des langages de programmation, et la certifier les algorithmes que ces langages implantent.

Comprendre la mise en oeuvre des langages de programmation et garantir la qualité des algorithmes qu'ils implantent est un problème qui est loin d'être résolu, malgré des travaux qui datent de la naissance même de l'informatique en s'appuyant sur des études antérieures. L'équipe PLUME participe à ce projet scientifique suivant les deux axes précités, à savoir la sémantique des langages de programmation, et la vérification des algorithmes et des protocoles. En ce qui concerne la compréhension des langages ou sémantique, la recherche menée s'appuie sur le paradigme des substitutions explicites qui a conduit à celui de réécriture avec a adresses; elle vise à mieux définir la sémantique opérationnelle des langages de programmation fonctionnelle et de programmation par objets, pour mieux y intégrer les concepts d'adresse, de partage et de mutation d'objets. En ce qui concerne la certification d'algorithmes et de protocoles, PLUME s'est intéressé à un problème très important du commerce électronique à savoir celui des micro-paiements. Par ailleurs, la preuve formelle d'algorithmes distribués est également abordée, ainsi que des aspects plus théoriques liés à l'analyse statique des programmes en vue d'en améliorer les performances.

Précédent : Composition de l'équipe Remonter : PLUME Suivant : Fondements scientifiques