A Method for Automatically Analyzing Programs

Waters, Richard C.

A Method for Automatically Analyzing Programs

IJCAI 1979 pp. 935-941

/ijcai/1979/waters1979ijcai-method/

Abstract

This paper presents a method for automatically analyzing programs and discusses why it is a useful way to look at programs. The method is based on the idea that there are only a few basic ways in which the logical structure Of programs is built up. An experiment is presented which shows that this accounts for the structure of a large class Of programs. The paper discusses how the method can be used to automatically analyze the structure of a program, and how the resulting analysis can be used to guide a proof of correctness for the program. An automatic system is described which performs this type of analysis. The paper discusses the relationship between the structure building methods presented and programming language constructs.

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/}
}