A Method for Automatically Analyzing Programs
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
This paper presents a method for automatically analyzing programs and discusses why it is a useful way to took at progr11ms. The method is based on the idea that there are only a few basic ways in which the logical structure of programs is buill up. An experiment is presented which shows that this accounts for the structure of a large class of progr11ms. The pap!!r discuo:.ses how the method can be used to automatically analyze the structure of a program, and how the resultinG an<~lysis 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.
@inproceedings{ijcai1979p206,
title = {A Method for Automatically Analyzing Programs},
author = {Waters, Richard C.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/206},
}
TY - CPAPER TI - A Method for Automatically Analyzing Programs AU - Waters, Richard C. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/206 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
