@article{Geneves08d,
  author = {Pierre Genevès and Nabil Layaïda},
  title = {Static Analysis of {XML} Programs},
  journal = {{ERCIM News}},
  number = 72,
  month = jan,
  year = 2008,
  pages = {33-34},
  x-editorial-board = {no},
  url = {http://ercim-news.ercim.org/content/view/326/536/},
  abstract = {Static analysers for programs that manipulate Extensible Markup
    Language (XML) data have been successfully designed and implemented based
    on a new tree logic by the WAM (Web, Adaptation and Multimedia) research team,
    a joint lab of INRIA and Laboratoire d'Informatique de Grenoble. This is
    capable of handling XML Path Language (XPath) and XML types such as
    Document Type Definitions (DTDs) and XML Schemas.}
}