Eliminating Dead-Code from XQuery Programs

Pierre Genevès 1 Nabil Layaïda 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain spe- cific languages such as XQuery. We present an IDE equipped with static analysis features for assisting the programmer. These features are capable of identifying and eliminating dead code automatically. The tool is based on newly devel- oped formal programming language verification techniques, which are now mature enough to be introduced in the process of software development.
Type de document :
Communication dans un congrès
32nd ACM/IEEE International Conference on Software Engineering, May 2010, Cape Town, South Africa. ACM, pp.305-306, 2010, <10.1145/1810295.1810363>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00494233
Contributeur : Vincent Quint <>
Soumis le : mardi 22 juin 2010 - 14:31:35
Dernière modification le : mercredi 14 décembre 2016 - 01:08:42
Document(s) archivé(s) le : lundi 22 octobre 2012 - 14:40:49

Fichier

ICSE10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Pierre Genevès, Nabil Layaïda. Eliminating Dead-Code from XQuery Programs. 32nd ACM/IEEE International Conference on Software Engineering, May 2010, Cape Town, South Africa. ACM, pp.305-306, 2010, <10.1145/1810295.1810363>. <hal-00494233>

Partager

Métriques

Consultations de
la notice

195

Téléchargements du document

114