Toward automatic debugging of compilers
Hanan Samet · International Joint Conference on Artificial Intelligence · 1977
Automatic debugging is examined in the context of compiler correctness. A system is described whose goal is to prove the correctness of translations involving heuristically optimized code. The class of errors that can be detected and corrected using such a system is also discussed.