Sciweavers

ICSE
2010
IEEE-ACM

Eliminating dead-code from XQuery programs

13 years 8 months ago
Eliminating dead-code from XQuery programs
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.
Pierre Genevès, Nabil Layaïda
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ICSE
Authors Pierre Genevès, Nabil Layaïda
Comments (0)