Towards Static Type Checking of Web Query Language. Berger, S. & 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
{"_id":{"_str":"53ff72c37c90ec6e13001577"},"__v":0,"authorIDs":[],"author_short":["Berger, S.","Bry, F."],"bibbaseid":"berger-bry-towardsstatictypecheckingofwebquerylanguage","bibdata":{"downloads":0,"role":"author","bibbaseid":"berger-bry-towardsstatictypecheckingofwebquerylanguage","uri":"http://www.pms.ifi.lmu.de/publikationen#PMS-FB-2005-12","type":"inproceedings","topic":"r2g2[1]","title":"Towards Static Type Checking of Web Query Language","pages":"28-32","key":"ber05","id":"ber05","crossref":"gvd2005","bibtype":"inproceedings","bibtex":"@inproceedings{ ber05,\n crossref = {gvd2005},\n author = {Sacha Berger and Fraņ{c}ois Bry},\n title = {Towards Static Type Checking of Web Query Language},\n topic = {r2g2[1]},\n pages = {28-32},\n uri = {http://www.pms.ifi.lmu.de/publikationen#PMS-FB-2005-12},\n 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.}\n}","author_short":["Berger, S.","Bry, F."],"author":["Berger, Sacha","Bry, Fraņcois"],"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."},"bibtype":"inproceedings","biburl":"http://dret.net/biblio/dret.bib","creationDate":"2014-08-28T18:19:47.150Z","downloads":0,"keywords":[],"search_terms":["towards","static","type","checking","web","query","language","berger","bry"],"title":"Towards Static Type Checking of Web Query Language","year":null,"dataSources":["mL7NKvaepNEWFcMvG"]}