ML Anthology

Automatic Program Annotation

Nachum Dershowitz
IJCAI 1977 pp. 378
/ijcai/1977/dershowitz1977ijcai-automatic/
PDF IJCAI Semantic Scholar

Cite

Text

Dershowitz. "Automatic Program Annotation." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Dershowitz. "Automatic Program Annotation." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/dershowitz1977ijcai-automatic/)

BibTeX

@inproceedings{dershowitz1977ijcai-automatic,
  title     = {{Automatic Program Annotation}},
  author    = {Dershowitz, Nachum},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {378},
  url       = {https://mlanthology.org/ijcai/1977/dershowitz1977ijcai-automatic/}
}