[virtmach] Virtual Machines and Code Representation

John R Levine johnl@iecc.com
Mon, 24 Jul 2000 12:21:53 -0400 (EDT)

> I've not been impressed with what I've seen of ANDF.  It doesn't seem to me
> to exploit the structure of abstract tree code very well.

Me neither.  Despite claims to the contrary by some of its authors, it's yet
another attempt at an UNCOL, a universal intermediate language, and it's
failed for the same reasons that every other UNCOL project has failed since
the original one in the 1950s, basically that we can't abstract either
language semantics or machine architecture well enough to avoid an impossible
morass of special case hacks in such a language. 

ANDF did an adequate job of representing C.  Of course, C already represents
itself just fine and dandy, so that's not very useful in practice. 

John Levine, johnl@iecc.com, Primary Perpetrator of "The Internet for Dummies",
Information Superhighwayman wanna-be, http://iecc.com/johnl, Sewer Commissioner
Finger for PGP key, f'print = 3A 5B D0 3F D9 A0 6A A4  2D AC 1E 9E A6 36 A3 47