A Knowledge Base for Supporting and Intelligent Program Editor.

Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune

Browse the full ICSE paper archive.