Daniel von Dincklage Amer Diwan Optimizing programs with intended semantics. 409-424 2009 OOPSLA http://doi.acm.org/10.1145/1640089.1640120 conf/oopsla/2009 db/conf/oopsla/oopsla2009.html#DincklageD09