{"type":"ScholarlyArticle","title":"Toward Automatic Debugging of Compilers","authors":[{"name":"Hanan Samet","slug":"hanan-samet","given":"Hanan","family":"Samet","affiliation":""}],"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","doi":null,"url":"https://ijcai.org/proceedings/1977/88","pdf":"https://ijcai.org/proceedings/1977/0088.pdf","markdown":"https://ijcai.org/proceedings/1977/88.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/88","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Aids to Programming","track":"Aids to Programming","number":88,"pages":{"first":379,"last":-1},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}