Journal of the ACM Bibliography
Zohar
Manna. Properties of programs and the first-order predicate
calculus. Journal of the ACM, 16(2):244-255, April 1969.
[BibTeX entry]
Additional Key Words and Phrases:
termination, correctness, equivalence, programs, abstract programs,
predicate calculus, unsatisfiability, validity
Selected papers that cite this one
Selected references
- Martin Davis and Hilary Putnam. A computing procedure for
quantification theory. Journal of the ACM,
7(3):201-215, July 1960.
- Joyce Friedman. A
semi-decision procedure for the functional calculus. Journal
of the ACM, 10(1):1-24, January 1963.
- Zohar Manna and Amir Pnueli. Formalization of properties
of recursively defined functions. In Conference Record of ACM
Symposium on Theory of Computing, pages 201-210, Marina del Rey,
California, 5-7 May 1969.
- J. A. Robinson. A
machine-oriented logic based on the resolution principle.
Journal of the ACM, 12(1):23-41, January 1965.
- J. D. Rutledge. On Ianov's
program schemata. Journal of the ACM, 11(1):1-9,
January 1964.
Shortcuts: