there are indeed universal properties of
correct code that you can learn from one
set of applications and apply to another
set of applications
Pardon the speculative thought, but wouldn't a program that detects "universal properties of correct code" be equivalent to a program that detects whether another program will halt? Hence, impossible?
