Accession Number:

AD0673433

Title:

FORMALIZATION OF PROPERTIES OF PROGRAMS,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1968-07-25

Pagination or Media Count:

22.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE