Description
Date depot: 1 janvier 1900
Titre: Programmation Web Typée
Directeur de thèse:
Emmanuel CHAILLOUX (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
La programmation du Web repose aujourd'hui sur un grand nombre de technologies, parfois archaïques de conception, et intégrées de façon simpliste, causant de grandes difficultés de développement, de maintenance et de sécurité. La recherche en langages de programmation propose pourtant des outils permettant de garantir des propriétés de sécurité, ou facilitant la maintenance et le déploiement. Les systèmes de types représentent un pan important de ce domaine de recherche, et sont aujourd'hui présents dans la plupart des langages de programmation populaires, sauf dans ce domaine du Web. Cette thèse vise donc à proposer un nouveau langage pour le Web, d'une part en apportant un système de types donnant les mêmes propriétés que ceux des langages typés modernes, et d'autre part en étendant ce système de types pour qu'il traite les particularités du Web, en particulier les manipulations de document et les communications.
Doctorant.e: Canou Benjamin