Program schemata and the first-order decision problem

Authors:
Harry R. Lewis
Affiliations:
-
Venue:
Journal of Computer and System Sciences
Year:
1974

Citing 3
Cited 0

Properties of Programs and the First-Order Predicate Calculus

Journal of the ACM (JACM)
Inductive methods for proving properties of programs

Proceedings of ACM conference on Proving assertions about programs
On formalised computer programs

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

In [7] Manna reduces certain decision problems for program schemata to the problem of determining whether or not a first-order formula is satisfiable. Here we give an improved construction, which yields new positive results and suggests a method that may be useful in further investigations.