Eliminating dead-code from XQuery programs

Authors:
Pierre Genevès;Nabil Layaïda
Affiliations:
CNRS;INRIA
Venue:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Year:
2010

Citing 2
Cited 2

Efficient static analysis of XML paths and types

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Logics for XML

Logics for XML

Toward automated schema-directed code revision

Proceedings of the 2012 ACM symposium on Document engineering
Programming errors in traversal programs over structured data

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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 specific 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 developed formal programming language verification techniques [4, 3], which are now mature enough to be introduced in the process of software development.