Sciweavers

Share
7 search results - page 2 / 2
» Rewrite-based verification of XML updates
Sort
View
PODS
2008
ACM
158views Database» more  PODS 2008»
13 years 1 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
WWW
2004
ACM
13 years 2 months ago
Practical semantic analysis of web sites and documents
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
Thierry Despeyroux
books