I'm going through the paper on "slim binaries". They compress the abstract syntax tree at a semantic level and are smaller than compressed source code.

ftp://ftp.cis.upenn.edu/pub/cis700/public_html/papers/Franz97.pdf