- From: <scott_boag@us.ibm.com>
- Date: Tue, 7 May 2002 10:47:09 -0400
- To: Philip Wadler <wadler@research.avayalabs.com>
- Cc: spec-prod@w3.org, spec-prod-request@w3.org, w3c-query-editors@w3.org, www-qa@w3.org
Philip Wadler <wadler@research.avayalabs.com> wrote: > Can you explain what you mean by "testable assertion"? I think the following, from the recent XQuery draft, is a "testable assertion": A variable evaluates to the value to which the variable's QName is bound in the evaluation context. I think the following is NOT a testable assertion: Each input document, and each node or node hierarchy constructed during expression processing, is a separate data model fragment. ...so I'm making this up as I go along. It's probably a judgement call for each sentence. I'm not sure how much of this can be done after the fact (of writing), or how much really has to be done as part of the writing process. Probably a little bit of both. > Can you relate your proposal to the XQuery formal semantics? > > It seems to me that many of the issues being raised ("you want a > specification, not just a vague collection of words") are also > addressed by formal semantics. (See quote in sig below.) You make a good point. I'm not sure. My impression was that the formal semantics document just described a part of XQuery, not the whole of it. I would think that the Formal Semantics would be not much different from the other docs, except the job might be easier with it? -scott Philip Wadler <wadler@research.ava To: scott_boag@us.ibm.com yalabs.com> cc: spec-prod@w3.org, w3c-query-editors@w3.org, www-qa@w3.org Sent by: Subject: Re: Testable assertion tagging for W3C specifications spec-prod-request@w3 .org 05/06/2002 05:18 PM Scott, Can you explain what you mean by "testable assertion"? Can you relate your proposal to the XQuery formal semantics? It seems to me that many of the issues being raised ("you want a specification, not just a vague collection of words") are also addressed by formal semantics. (See quote in sig below.) Cheers, -- P ----------------------------------------------------------------------- Philip Wadler wadler@avaya.com Avaya Labs http://www.research.avayalabs.com/user/wadler/ 233 Mount Airy Road, room 2C05 office: +1 908 696 5137 Basking Ridge, NJ 07920 fax: +1 908 696 5402 USA home: +1 908 626 9252 cell: +1 908 872 4436 ----------------------------------------------------------------------- "When a Mathematical Reasoning can be had it's as great a folly to make use of any other, as to grope for a thing in the dark, when you have a Candle standing by you." -- John Arbuthnot, 1692 -----------------------------------------------------------------------
Received on Tuesday, 7 May 2002 10:55:38 UTC