Inductive methods for proving properties of programs
The work
| Authors | Zohar Manna; Stephen Ness; Jean E. Vuillemin |
|---|---|
| Editors | |
| Type | article |
| Year | 1973 |
| Citekey | manna1973inductive |
Where it appeared
| Published in | Communications of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 16 |
| Issue | 8 |
| Pages | 491--502 |
Identifiers
| DOI | 10.1145/355609.362336 |
|---|---|
| OpenAlex | W1998555378 |
Access
| Landing page | https://doi.org/10.1145/355609.362336 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
There are two main purposes in this paper: first, clarification and extension of known results about computation of recursive programs, with emphasis on the difference between the theoretical and practical approaches; second, presentation and examination of various known methods for proving properties of recursive programs. Discussed in detail are two powerful inductive methods, computational induction and structural induction, including examples of their applications.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-23 08:26 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{manna1973inductive,
title = {Inductive methods for proving properties of programs},
author = {Zohar Manna and Stephen Ness and Jean E. Vuillemin},
year = {1973},
journal = {Communications of the ACM},
publisher = {Association for Computing Machinery},
volume = {16},
number = {8},
pages = {491--502},
doi = {10.1145/355609.362336},
}
This record lives at https://refs.drheap.org/manna1973inductive/ and will keep doing so.