W3C home > Mailing lists > Public > www-qa@w3.org > May 2002

Re: Testable assertion tagging for W3C specifications

From: Philip Wadler <wadler@research.avayalabs.com>
Date: Mon, 06 May 2002 17:18:16 -0400
Message-Id: <200205062118.g46LIGK14928@kira.research.avayalabs.com>
To: scott_boag@us.ibm.com
cc: spec-prod@w3.org, w3c-query-editors@w3.org, www-qa@w3.org
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 Monday, 6 May 2002 17:18:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 12:13:59 GMT