Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id QAA28592 for qed-out; Wed, 3 May 1995 16:06:32 -0500
Received: from life.ai.mit.edu (life.ai.mit.edu [128.52.32.80]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with SMTP
	id QAA28580 for <qed@mcs.anl.gov>; Wed, 3 May 1995 16:06:11 -0500
Received: from spock (spock.ai.mit.edu) by life.ai.mit.edu (4.1/AI-4.10) for qed@mcs.anl.gov id AA21379; Wed, 3 May 95 17:05:44 EDT
From: dam@ai.mit.edu (David McAllester)
Received: by spock (4.1/AI-4.10) id AA23164; Wed, 3 May 95 17:05:43 EDT
Date: Wed, 3 May 95 17:05:43 EDT
Message-Id: <9505032105.AA23164@spock>
To: rv_harris@ccmail.pnl.gov
Cc: pollack@cs.chalmers.se, ma_friesel@ccmail.pnl.gov, qed@mcs.anl.gov
In-Reply-To: rv_harris@ccmail.pnl.gov's message of Mon, 01 May 1995 10:31 -0700 (PDT) <01HPZI7DCEKM00004Y@pnl.gov>
Subject: Paper on reflection
Sender: owner-qed@mcs.anl.gov
Precedence: bulk
X-UIDL: 799541782.000


  Not to mention having to verify the operation of the hardware on which the C 
  code is running (as per the recent Pentium flap).

This seems orthogonal to whether we use C as the extension
language.  Even if we used ML for extensions, the correctness of an
extension still assumes correctness of the hardware on which we are
ultimately running.

	David