 <a href="http://www.cs.cornell.edu/Info/People/yanhong/cachet.html">CACHET</a>:   An incremental-attribution-based interactive system that   uses systematic program analysis and transformation techniques to   obtain efficient incremental programs.   Department of Computer Science, Cornell University, 1993-present. <p>
