XQTC: A Static Type-Checker for XQuery Using Backward Type Inference

Pierre Genevès 1 Nabil Layaïda 1 Christine Vanoirbeek 2
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Nous présentons une technique nouvelle et un outil pour le contrôle de type statique des programmes XQuery. L'outil recherche les erreurs dans le programme en analysant à la fois le code source du programme et les schémas d'entrée et de sortie qui décrivent respectivement les ensembles de documents admissibles en entrée et en sortie. L'originalité de nos résultats réside dans l'utilisation conjointe de l'inférence de type arrière et d'une logique avec programmes inverses pour représenter des fragments de types d'arbre. Cela nous a permis de concevoir et de réaliser un contrôleur de type pour XQuery qui est plus précis et supporte un fragment de XQuery plus large que les approches proposées précédemment dans la littérature, en particulier si on se réfère aux quelques contrôleurs de type statiques effectivement réalisés, tel que celui de Galax. L'ensemble du système utilise des compilateurs et un solveur pour décider de l'inclusion des expressions d'arbres régulières bi-directionnelles. Notre outil prend en entrée un programme XQuery et deux schémas Sin et Sout. Si le programme est reconnu incorrect, l'outil engendre automatiquement un contre-exemple valide vis-à-vis de Sin et tel que le programme produise un résultat invalide vis-à-vis de Sout. Ce contre-exemple peut alors être utilisé par le programmeur pour corriger son programme.
Type de document :
Rapport
[Research Report] RR-8149, INRIA. 2012, pp.25
Domaine :
Liste complète des métadonnées


https://hal.inria.fr/hal-00757867
Contributeur : Pierre Genevès <>
Soumis le : mardi 27 novembre 2012 - 17:01:20
Dernière modification le : samedi 17 septembre 2016 - 01:38:20
Document(s) archivé(s) le : samedi 17 décembre 2016 - 15:30:18

Fichier

RR-8149.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00757867, version 1

Citation

Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek. XQTC: A Static Type-Checker for XQuery Using Backward Type Inference. [Research Report] RR-8149, INRIA. 2012, pp.25. <hal-00757867>

Partager

Métriques

Consultations de
la notice

302

Téléchargements du document

147