From kh@athens.cs.waikato.ac.nz Fri Aug 12 02:44:21 1994
Received: from grace.waikato.ac.nz by dkuug.dk with SMTP id AA04595
  (5.65c8/IDA-1.4.4j for <sc22wg15@dkuug.dk>); Thu, 11 Aug 1994 04:55:22 +0200
Message-Id: <199408110255.AA04595@dkuug.dk>
Received: from athens.cs.waikato.ac.nz by waikato.ac.nz; Thu, 11 Aug 94 14:41
 +1200
Received: by athens.cs.waikato.ac.nz (16.6/16.2) id AA14898; Thu, 11 Aug 94
 14:44:21 +1200
Date: Thu, 11 Aug 94 14:44:21 +1200
From: Keith Hopper <kh@athens.cs.waikato.ac.nz>
Subject: What is meaning?
To: sc22wg15@dkuug.dk
X-Charset: ASCII
X-Char-Esc: 29

Greetings,
     At the risk of being accused of 'teaching my grandmother to suck eggs',
I really must complement Derek on his close definition of meaning -- almost
right.   A standard for a piece of software (of whatever kind) describes the
meaning of various operations which that software is expected to perform.
A conforming implementation of that software has to ascribe to the operations
exactly the same meanings if it is indeed conformant.   At least that is my
understanding of conformance and its related testing.

             Regards,

                     Keith