77 search results - page 16 / 16 » Formal properties of XML grammars and languages |
191
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
114
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...