[virtmach] Virtual Machines and Code Representation

[David Chase]

At 09:11 AM 7/24/00 -0700, btanksley@hifn.com wrote:
>There are people working on compiling specifications directly.  I don't find
>that field very interesting.  At any rate, you don't want to compile BOTH
>the specs and the code, because odds are almost 100% that they contradict
>each other in a million places.

If the contradictions could be noted and reported, that might be
useful information (though it's got nothing to do with virtual
machines).



David Chase
chase@world.std.com
drchase@alumni.rice.edu
chase@naturalbridge.com