[
Lists Home |
Date Index |
Thread Index
]
> This is a wonderful proof that formal specification is self defeating! The
> more formal you try to be, the less anyone understands what you're trying to
> say...
hang on a minute.. :) There are counter-examples. See the link below for
a formal specification XPath.
http://cm.bell-labs.com/cm/cs/who/wadler/papers/xpath-semantics/ xpath-semantics.pdf
This is the clearest spec of XPath I've seen, and much easier to read
than the verbose XPath spec. Then again, maybe XPath lends itself to
this kind of specification. (denotational semantics)
Christian Nentwich
|
