Equipping IDEs with XML-Path Reasoning Capabilities

Pierre Genevès 1 Nabil Layaïda 1
1 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : One of the challenges in web development is to help achieving a good level of quality in terms of code size and runtime performance, for popular domain-specific languages such as XQuery, XSLT, and XML Schema. We present the first IDE augmented with static detection of inconsistent XPath expressions that assists the programmer for simplifying the development and debugging of any application involving XPath expressions. The tool is based on newly developed formal verification techniques based on expressive modal logics, which are now mature enough to be introduced in the process of software development. We further develop this idea in the context of XQuery for which we introduce an analysis for identifying and eliminating dead code automatically. This proof of concept aims at illustrating the benefits of equipping modern IDEs with reasoning capabilities.
Type de document :
Article dans une revue
ACM Transactions on Internet Technology, Association for Computing Machinery, 2014, 13 (4), pp.20. 〈10.1145/2602573〉
Domaine :
Liste complète des métadonnées

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

Contributeur : <>
Soumis le : mercredi 14 janvier 2015 - 09:36:13
Dernière modification le : mercredi 14 décembre 2016 - 01:08:39
Document(s) archivé(s) le : samedi 15 avril 2017 - 17:27:58


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00868723, version 2
  • Mot de passe : rk2qnvhx
  • DOI : 10.1145/2602573



Pierre Genevès, Nabil Layaïda. Equipping IDEs with XML-Path Reasoning Capabilities. ACM Transactions on Internet Technology, Association for Computing Machinery, 2014, 13 (4), pp.20. 〈10.1145/2602573〉. 〈hal-00868723v2〉



Consultations de la notice


Téléchargements de fichiers