PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES

Zhiwu Xu 1
1 PL
PPS - Preuves, Programmes et Systèmes
Résumé : XML (eXtensible Markup Language) est un format standard pour l'échange de données semi-structurées, qui est utilisé dans services web, les bases de données, et comme format de sérialisation pour échanger des données entre applications. Afin d'avoir un meilleur traitement de données XML, plusieurs langages statiquement typés pour XML ont été récemment définis, tels XDuce, CDuce, XJ, XTatic, XACT, XHaskell, OCamlDuce. Ces langages peuvent vérifier si un programme n'engendra d'erreurs de types à l'exécution. Mais la plupart de ces langages n'incluent pas le polymorphisme paramétrique ou l'incluent sous un forme très limitée. Cependant, le traitement de données XML nécessite du polymorphisme paramétrique, c'est pourquoi il a été demandé et discuté à plusieurs reprises dans diverses groupes de travail de standardisation (par example, RELAX-NG et XQuery). Nous étudions dans cette thèse les techniques pour étendre par le polymorphisme paramétrique les langages de traitement XML. Notre solution se deroule sur deux étapes: (i) nous définissons et étudions une relation de sous-typage polymorphe sémantique pour un système de type avec types récursifs, types des produits, types des flèches, et types des ensemblistes (c'est-à-dire, l'union, l'intersection et la négation); et (ii) nous concevons et étudions un langage fonctionnel d'ordre supérieur qui tire pleinement parti des nouvelles fonctionnalités du système de type. La solution que nous proposons dans cette thèse est générale. Ainsi elle a des domaines d'application autres que les langages pour le traitement de données XML.
Type de document :
Thèse
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2013. English
Liste complète des métadonnées

Littérature citée [74 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00858744
Contributeur : Zhiwu Xu <>
Soumis le : vendredi 6 septembre 2013 - 06:42:16
Dernière modification le : jeudi 11 janvier 2018 - 06:27:13
Document(s) archivé(s) le : samedi 7 décembre 2013 - 04:16:04

Identifiants

  • HAL Id : tel-00858744, version 1

Collections

PPS | USPC

Citation

Zhiwu Xu. PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES. Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2013. English. 〈tel-00858744〉

Partager

Métriques

Consultations de la notice

491

Téléchargements de fichiers

464