OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   RE: [xml-dev] validating against the standard W3C

[ 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


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS