Mathematical Theory of Partial Correctness. AIM-139
- Title:
- Mathematical Theory of Partial Correctness. AIM-139
- Author:
- Manna, Zohar
- Author (no Collectors):
- Manna, Zohar
- Collector:
- Manna, Zohar
- Description:
-
In this work we show that it is possible to express most properties
regularly observed in algorithms in terms of 'partial correctness'
(i.e., the property that the final results of the algorithm, if any,
satisfy some given input-output relation). This result is of special
interest since 'partial correctness' has already been formulated in
predicate calculus and in partial function logic for many classes of
algorithms.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- December 1970
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), December 1970
- Genre:
- memorandums
- Identifier:
- AIM-139
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041