[
Lists Home |
Date Index |
Thread Index
]
Section 7.7 outlines three main judgements: smatch, erase and annotate.
Erase and annotate are described, but smatch seems to be missing. This makes
it a little hard to understand.
Can someone either point out a document where this is defined (or a place in
this document), or answer what are probably the two key questions for
understanding it, namely,
- How does structural matching deal with non-determinism?
- Specifically, is structural matching "shallow" (like DTD or XML Schema,
where only the content model/complex type at a single level is examined to
resolve a choice) or "deep" (multiple levels are examined).
Bob
|