[virtmach] Virtual Machines and Code Representation
Wed, 26 Jul 2000 16:44:32 -0400
At 09:58 AM 7/26/00 -0700, email@example.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.