FORMALIZATION OF PROPERTIES OF PROGRAMS,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 25, 1968
- Accession Number
- AD0673433
Entities
People
- Zohar Manna
Organizations
- Stanford University