A Logic for XML Trees

wam.inrialpes.fr/xml

Main Publications

• 
  Eliminating Dead-Code from XQuery Programs (ICSE'10).
  Pierre Genevès and Nabil Layaïda.
  Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering.
• 
  Debugging Standard Document Formats (WWW'10).
  Nabil Layaïda and Pierre Genevès.
  Proceedings of the 19th International Conference on World Wide Web.
• 
  XML Reasoning Made Practical (ICDE'10).
  Pierre Genevès and Nabil Layaïda.
  Proceedings of the 26th IEEE International Conference on Data Engineering.
• 
  Identifying Query Incompatibilities with Evolving XML Schemas (ICFP'09). [pdf] [acm] [bib]
  Pierre Genevès and Nabil Layaïda and Vincent Quint.
  Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming.
• 
  Efficient Static Analysis of XML Paths and Types (PLDI'07). [pdf] [acm] [bib]
  Pierre Genevès and Nabil Layaïda and Alan Schmitt.
  Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation.
• 
  A System for the Static Analysis of XPath (TOIS'06). [pdf] [acm] [bib]
  Pierre Genevès and Nabil Layaïda.
  ACM Transactions on Information Systems, Volume 24, Number 4, October 2006.
• 
  Logics for XML. [pdf] [bib]
  Pierre Genevès.
  PhD Thesis, Institut National Polytechnique de Grenoble, December 2006.

Software

Source constantly improved on request; contact: