Optimizing programs with intended semantics.

Daniel von Dincklage, Amer Diwan

Browse the full OOPSLA paper archive.