http://research.sun.com/techrep/2002/abstract-118.html
Looks pretty good for next generations of compilers.
