Local Hoare reasoning about DOM.

Philippa Gardner Gareth Smith Mark J. Wheelhouse Uri Zarfaty

Published in: PODS (2008)

Keyphrases

xml documents
website
relational databases
formal theory
qualitative reasoning
spatial reasoning
web pages
neural network
decision trees
object oriented
multiscale
dynamic systems
xml schema
database
artificial intelligence
databases
data sets