Year: 1976
Type: conference-paper
Abstract: An introduction is given to the fundamental issues of proving properties of computer programs. No attempt is made to provide an exhaustive survey, but rather to convey enough of the basic concepts and techniques of proving programs so that the interested reader can pursue specific interests on his own. Three fundamental aspects of program proving are described. The first is a general view of basic goals and objectives. The second is an introduction to the basic techniques of proving programs by inductive assertions. The third addresses applying these techniques in practice.
Source: ACM Annual Conference
Author: Donald I. Good
Institution: The University of Texas at Austin
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W1978210664