Abstract
This article reports on a research project investigating the following two complementary issues: (1) improving how the structure of XML and HTML can be specified, (2) using structure specification (of XML and HTML documents) for static type checking of Web (and Semantic Web) query programs. The first step towards this goal is to provide a schema language like DTD, XML Schema or Relax-NG with better support of graph structured data.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-47

BibTeX:

@inproceedings{REWERSE-RP-2005-47,
	author = {Sacha Berger and Fran\c{c}ois Bry},
	title = {Towards static type checking of Web query language},
	booktitle = {Proceedings of 17. Workshop über Grundlagen von Datenbanken, Wörlitz, Germany (17th--20th May 2005)},
	year = {2005},
	organization = {GI},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-47}
}