Responsables G. Castagna (L.I.E.N.S), V. Benzaken (L.R.I).
Contexte
CDuce est un langage de programmation pour XML developpe conjointement par
l'equipe ``Langages'' du Laboratoire d'Informatique de l'ENS et l'equipe
``Bases de Donnees'' du LRI Orsay. Parmi ses caracteristiques principales
on peut citer, un systeme de types puissant (ordre superieur,
intersections, unions, negations, surcharge,...), l'integration des standards W3C
(XML, Unicode, namespaces, XML Schema, DTD, ...) un langage de
patterns tres expressif (expressions regulieres de types, capture de
sous-sequences d'elements non-consecutifs,...) et un runtime innovant (compilation
``just-in-time'' des patterns, automates d'arbres
``non-uniformes'',...).
Resume du travail souhaite
Dans un premier temps le stagiaire devra concevoir et developper la
definition de services Web en CDuce. Ceci sera realise par la
definition d'une syntaxe pour des annotations a inserer dans les sources
CDuce pour declarer et definir des services et par la gestion de la part du
serveur Web des requetes aux services. Ensuite, on demandera d'etendre ce
mecanisme a la gestion de sessions interactives (par exemple pour la
gestion de forms Xhtml) ce qui impliquera la gestion d'un etat persistant de
la session de la part du serveur meme.
Connaissances prealables attendues chez le stagiaire
Connaissance de la programmation fonctionnelle (OCaml) programmation Web et de XML. La connaissance d'Apache, de SOAP et du WSDL constitue un atout supplementaire.
Ce que le stagiare apprendra
Theorie des types, approfondissement de la compilation
References
Voir www.cduce.org
Retribution possible. Laboratoires - Laboratoire d'Informatique de l'Ecole Normale Superieure
- LRI, Universite de Paris XI.
Lieu du stage
LRI
|
PhD Students
Stages de Master Recherche d'Informatique