Automatic Program Annotation

Dershowitz, Nachum

Automatic Program Annotation

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Aids to Programming. Pages 378--1.

Abstract

Techniques were developed by which an Algol-like program, given together with its specifications, may be documented automatically. This documentation expresses invariant relationships that hold between program variables at intermediate points in the program, and explains the actual workings of the program regardless of whether the program is correct. These techniques, formulated as deduction rules for both guaranteed invariants and candidate invariants, represent a unification of existing approaches, and sometimes improve upon them.

Nachum Dershowitz. 1977. Automatic Program Annotation. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 378–-1. https://ijcai.org/proceedings/1977/87

@inproceedings{ijcai1977p87,
  title     = {Automatic Program Annotation},
  author    = {Dershowitz, Nachum},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {378---1},
  year      = {1977},
  note      = {Aids to Programming},
  url       = {https://ijcai.org/proceedings/1977/87},
}

TY  - CPAPER
TI  - Automatic Program Annotation
AU  - Dershowitz, Nachum
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 378
EP  - -1
UR  - https://ijcai.org/proceedings/1977/87
ER  -