25/10/2001: 14h: Philippe Audebaud (ENS Lyon)
XSLTT : XSLT avec Types
Philippe Audebaud (LIP) et Kristoffer H. Rose (IBM - TJ Watson)
Résumé
XSLT fournit une syntaxe pour un langage de transformations de documents de
l'internet (XML, HTML, WAP, etc). Un �l�ment de ce langage, appel�
stylesheet, peut donc �tre interpr�t� comme un objet S d'un type fonctionnel
T_in -> T_out, o� T_in et T_out sont les types de base d�crits les documents
transform�s.
Pour ces derniers, il s'agit le plus souvent de DTD (Document Type
Description), et dans ce cas, on sait faire de la v�rification de types, et
de l'inf�rence de type.
Il n'y a rien de semblable concernant les stylesheets ; notre �tude se
propose de partir de partir de l'observation pr�c�dente pour �laborer un
syst�me d'inf�rence de types. La d�marche proc�de par une analyse statique
des stylesheets, et ne n�cessite pas une connaissance particuli�re des types
d'entr�e et sortie. L'analyse g�n�re des contraintes portant sur chacun
d'eux, ou exprimant une d�pendance entre entr�e et sortie de la
transformation.
Sous l'hypoth�se particuli�re o� T_in et T_out sont des DTD, nous obtenons
un syst�me permettant de faire du type-checking sur les stylesheets. La
question de l'inf�rence de type requiert de mieux comprendre en quoi
consiste exactement la notion de type de stylesheet sous sa forme la plus
g�n�rale ; c'est encore une recherche en cours.
Notre approche est utilis�e dans l'�diteur XSLT d�velopp� en Java par IBM.
L'analyse statique a �t� implant�e en Perl + Lambda-Prolog ; elle couvre un
sous-ensemble strict mais significatif de XSLT.