Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
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
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Bowen Zhou, Bing Xiang, et al.
SSST 2008
Limin Hu
IEEE/ACM Transactions on Networking