Journal of the ACM Bibliography
J. D. Rutledge. On Ianov's
program schemata. Journal of the ACM, 11(1):1-9, January
1964.
[BibTeX entry]
Selected papers that cite this one
- Alfred V. Aho and Jeffrey D. Ullman. Optimization of straight
line programs. SIAM Journal on Computing, 1(1):1-19,
March 1972.
- Edward Ashcroft, Zohar Manna, and Amir Pnueli. Decidable properties of monadic
functional schemas. Journal of the ACM, 20(3):489-499,
July 1973.
- Zohar Manna. Properties of
programs and the first-order predicate calculus. Journal of
the ACM, 16(2):244-255, April 1969.
- Raymond E. Miller. Some undecidability
results for parallel program schemata. SIAM Journal on
Computing, 1(1):119-129, March 1972.
Shortcuts: