Paper

On Folk Theorems

Abstract

Criteria are suggested for determining if a statement is a folk theorem. The ideas are then illustrated with a detailed example from the theory of programming. © 1980, ACM. All rights reserved.

M.J. Slattery, Joan L. Mitchell

IBM J. Res. Dev