Accession Number : AD0673433

Title :   FORMALIZATION OF PROPERTIES OF PROGRAMS,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Manna,Zohar

Report Date : 25 JUL 1968

Pagination or Media Count : 22

Abstract : Given a program, an algorithm will be described for constructing an expression, such that the program is valid (i.e., terminates and yields the right answer) if and only if the expression is inconsistent. Similar result for the equivalence problem of programs is given. These results suggest a new approach for proving the validity and the equivalence of programs. (Author)

Descriptors :   (*COMPUTER PROGRAMMING, NUMERICAL ANALYSIS), (*COMPUTER PROGRAMS, CORRELATION TECHNIQUES), ARTIFICIAL INTELLIGENCE, GRAPHICS, SET THEORY, MATHEMATICAL LOGIC, ALGORITHMS, THEOREMS, THESES

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE