Towards Static Type Checking of Web Query Language. Berger, S. and Bry, F. In pages 28-32.
abstract   bibtex   
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.
@inproceedings{ ber05,
  crossref = {gvd2005},
  author = {Sacha Berger and Fraņ{c}ois Bry},
  title = {Towards Static Type Checking of Web Query Language},
  topic = {r2g2[1]},
  pages = {28-32},
  uri = {http://www.pms.ifi.lmu.de/publikationen#PMS-FB-2005-12},
  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.}
}
Downloads: 0