Logiques pour XML

by Pierre Genevès

Doctoral thesis in Informatique

Under the supervision of Vincent Quint.

defended on 2006

in Grenoble INPG .


  • Abstract not available


  • Abstract

    Cette thèse présente les fondations théoriques et pratiques d'un système pour l'analyse statique de langages manipulant des documents et données XML. Le système s'appuie sur une logique temporelle de point fixe avec programmes inverses, dérivée du mu-calcul modal, dans laquelle les modèles sont des arbres finis. Cette logique est suffisamment expressive pour prendre en compte les langages réguliers d'arbres ainsi que la navigation multidirectionnelle dans les arbres, tout en ayant une complexité simplement exponentielle. La principale application de ce travail est une nouvelle classe d'analyseurs statiques pour les langages de programmation utilisant des requêtes XPath et des types réguliers d'arbres. De tels analyseurs permettent de s'assurer de propriétés importantes comme le typage correct des programmes ou leur optimisation, pour un traitement plus sûr et plus efficace des données XML.

  • Alternative Title

    Logics for XML


  • Abstract

    This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporallogic with converse, derived from the mu-calculus, where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity. The main application of this work is a new class of static analyzers for programming languages using both XPath expressions and XML type annotations (input and output). Such analyzers allow to ensure at compile-time valuable properties such as type-safety and optimizations, for safer and more efficient XML processing.

Other version

This thesis has resulted in a publication by in 2014 by [CCSD] [diffusion/distribution] in Villeurbanne

Logiques pour XML

Consult library

Version is available as a paper

Informations

  • Details : 1 vol. (132 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 111-121

Where is this thesis?

  • Library : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Available for PEB
  • Odds : TS06/INPG/0180/D
  • Library : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Available as a breeding ground for PEB"
  • Odds : TS06/INPG/0180
See the Sudoc catalog libraries of higher education and research.