ML Anthology

A Method for Automatically Analyzing Programs

Richard C. Waters
IJCAI 1979 pp. 935-941
/ijcai/1979/waters1979ijcai-method/
Semantic Scholar

Cite

Text

Waters. "A Method for Automatically Analyzing Programs." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Waters. "A Method for Automatically Analyzing Programs." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/waters1979ijcai-method/)

BibTeX

@inproceedings{waters1979ijcai-method,
  title     = {{A Method for Automatically Analyzing Programs}},
  author    = {Waters, Richard C.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {935-941},
  url       = {https://mlanthology.org/ijcai/1979/waters1979ijcai-method/}
}