Paper on reflection

David McAllester (dam@ai.mit.edu)
Wed, 3 May 95 17:05:43 EDT

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