ML Anthology

Toward Automatic Debugging of Compilers

Hanan Samet
IJCAI 1977 pp. 379
/ijcai/1977/samet1977ijcai-automatic/

Abstract

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.

PDF Semantic Scholar

Cite

Text

Samet. "Toward Automatic Debugging of Compilers." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Samet. "Toward Automatic Debugging of Compilers." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/samet1977ijcai-automatic/)

BibTeX

@inproceedings{samet1977ijcai-automatic,
  title     = {{Toward Automatic Debugging of Compilers}},
  author    = {Samet, Hanan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {379},
  url       = {https://mlanthology.org/ijcai/1977/samet1977ijcai-automatic/}
}