
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