Journal of the ACM Bibliography

Zohar Manna and Amir Pnueli. Formalization of properties of functional programs. Journal of the ACM, 17(3):555-569, July 1970. [BibTeX entry]
Additional Key Words and Phrases: convergence, correctness, equivalence, functional programs, recursive definitions, first-order logic, satisfiability, validity

Selected references


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database