Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
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.
Related
Preeti Malakar, Thomas George, et al.
SC 2012
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
John M. Boyer, Charles F. Wiecha
DocEng 2009