Smarter recompilation
Robert W. Schwanke, Gail E. Kaiser · ACM Transactions on Programming Languages and Systems · 1988
Tichy's Smart Recompilation method can be made smarter by permitting benign type inconsistencies between separately compiled modules. This enhanced method helps the programmer to make far-reaching changes in small, manageable steps.