论文信息 - Inconsistent path detection for XML IDEs

Inconsistent path detection for XML IDEs

We present the first IDE augmented with static detection of inconsistent paths for simplifying the development and debugging of any application involving XPath expressions.

Pierre Genevès | Nabil Layaïda

[1] Michael Benedikt,et al. XPath satisfiability in the presence of DTDs , 2008, JACM.

[2] Pierre Genevès,et al. Eliminating dead-code from XQuery programs , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[3] Vincent Quint,et al. Identifying query incompatibilities with evolving XML schemas , 2009, ICFP.

[4] Alan Schmitt,et al. Static Analysis of XML Paths and Types , 2007 .

[5] Pierre Genevès,et al. Efficient static analysis of XML paths and types , 2007, PLDI '07.