A folk theorem is a general conclusion which has been proved. Daniel harel: folklore is a traditional belief, legend, or custom current among common people. He says computer science researchers seem to be less familiar with folklore.
A folk theorem is a general conclusion which has been proved. Daniel harel: folklore is a traditional belief, legend, or custom current among common people. He says computer science researchers seem to be less familiar with folklore.
A folk theorem is a general conclusion which has been proved. Daniel harel: folklore is a traditional belief, legend, or custom current among common people. He says computer science researchers seem to be less familiar with folklore.
A folk theorem is a general conclusion which has been proved. Daniel harel: folklore is a traditional belief, legend, or custom current among common people. He says computer science researchers seem to be less familiar with folklore.
On Folk Theorems
David Harel
IBM Thomas J. Watson Research Center
Yorktown Heights, New York
Criteria are suggested for determining if @
statement is a folk theorem. The ideas are then
illustrated with a detailed example from the theory of
programming.
Key Words and Phrases: flowchart, folk theorem,
structured progamming, while-programs
CR Categories: 2.1, 4.2, 5.24
1. Introduction
Folklore: The traditional beliefs, legends and
‘customs, current among common people.
‘