You can't prove anything about a program written in C or FØRTRAN. It's really just Peek and Poke with some syntactic sugar.
The point is that you want to have a system that is responsive.
I had almost rewritten all of the display code for windows, and that was when I gave up.
Not all smart people work at Sun Microsystems.
I think editors have to come out of a certain kind of community.
Today scientists, technologists, businessmen, engineers don't have any personal responsibility for the consequences of their actions.