---
title: "Toward Automatic Debugging of Compilers"
authors:
  - "Hanan Samet"
doi: ""
url: "https://ijcai.org/proceedings/1977/88"
pdf: "https://ijcai.org/proceedings/1977/0088.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "379--1"
track: "Aids to Programming"
keywords:
---

# Toward Automatic Debugging of Compilers

Hanan Samet

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 379--1.

## Abstract

Autoraatic debugging is examined in the context of compiler correctness. A system is described 11hose 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. Keywor~s and phrases: debugging, compilers, error de tee t1.on, error correction, program verification