๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The correctness of programs

โœ Scribed by Zohar Manna


Publisher
Elsevier Science
Year
1969
Tongue
English
Weight
301 KB
Volume
3
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

โœฆ Synopsis


This paper is concerned with the relationship between the correctness of programs and the satisfiability (or unsatisfiability) of certain formulas of the first-order predicate calculus. Results on the equivalence of programs are also included. * The research reported here was supported in part by the Advanced Research Projects Agency of the Office of the Secretary of Defense (SD-183).

x This differs from the standard definition of equivalence, which is: For the same input values either both programs do not terminate or both programs terminate and yield the same final result.


๐Ÿ“œ SIMILAR VOLUMES


Correctness proofs of CSP programs
โœ N. Soundararajan ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 948 KB