Re: Testable assertion tagging for W3C specifications

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