Condensers and Shading

[Brian Goetz]

> A brain-worm I can't dispose of[1] is that the concept of time 
> shifting could be used to allow language level shading.

It's quite possible; program transformation is a pretty general tool.  
However, I want to caution that Leyden's design center is around 
_semantic-preserving_ transformations.  That is, a Java program has a 
meaning, and the transformed program should have the same meaning as the 
original.

As you point out, the kind of information needed to make this 
transformation has a lot of overlap with the kind of information you 
need for dead code stripping, AOT compilation, reflection elimination, etc.