- From: Henry S. Thompson <ht@inf.ed.ac.uk>
- Date: Fri, 11 Mar 2011 15:59:45 +0000
- To: "C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com>
- Cc: www-xml-schema-comments@w3.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
C. M. Sperberg-McQueen writes:
> On Mar 10, 2011, at 2:57 PM, Henry S. Thompson wrote:
>> ...
>> First an algorithm, then, with luck, a declarative statement.
>
>
> How do you tell whether a particular sketch of the algorithm
> is right or wrong?
Test cases. It's not perfect, but like I said, for me the leap all
the way to a concise declarative statement has proved too big, so it's
this or nothing.
ht
- --
Henry S. Thompson, School of Informatics, University of Edinburgh
10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
URL: http://www.ltg.ed.ac.uk/~ht/
[mail from me _always_ has a .sig like this -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)
iD8DBQFNekbxkjnJixAXWBoRAu1zAJ9XFNF2HFG5hqnmGHLElhv1hGN15QCfWudj
9o5iqBSyrs5wPiSchXD239k=
=GzuS
-----END PGP SIGNATURE-----
Received on Friday, 11 March 2011 16:00:17 UTC