[virtmach] Virtual Machines and Code Representation

[David Chase]

At 09:58 AM 7/26/00 -0700, btanksley@hifn.com wrote:

>Therefore, you don't need to encode that a particular '+' is an integer
>plus, because it's obvious from the types of its operands.  If you do that
>with bytecodes, you have to either resolve the types dynamicly or compute
>the dataflow to figure it out.

You say "compute the dataflow" like it is a hard thing.  It's all pretty
well isomorphic to constant propagation, which is nice and fast.


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